1 // Header for PCH test builtins.c
2 int printf(char const *, ...);
3