// RUN: %clang_cc1 %s -E | grep 'stddef.h.*3'
#include <stddef.h>