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

void
bar()
{
    printf("foo bar\n");
}