extern int
puts(const char *);

void
bar()
{
    puts("bar");
}