#include "builtins.h"
void abort (void);
char *strstr (const char *, const char *);
int strcmp (const char *, const char *);
#define LINE __LINE__
#if __LINE__ != 13
# error __LINE__ part 1
#endif
#if \
__LINE__ != 18
# error __LINE__ part 2
#endif
#if LINE != 22
# error __LINE__ part 3
#endif
#if __INCLUDE_LEVEL != 0
# error __INCLUDE_LEVEL__
#endif
#if !defined (__TIME__)
# error __TIME__
#endif
#if !defined (__DATE__)
# error __DATE__
#endif
int main ()
{
if (level != 1)
abort ();
if (!strstr (__FILE__, "builtins.c"))
abort ();
if (!strcmp (__BASE_FILE__, "builtins.c"))
abort ();
return 0;
}