int printf(const char* format, ...); int main() { printf("hello world %d\n", 42); }