int printf(char* format, ...);

int main() {
    printf("hello world %d\n", 42);
}