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

int
main()
{
    printf("Hello world!\n");
    return 0;
}