[PATCH 1/3] Guard every header against multiple inclusion.