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