#include <stdio.h>

int foo(void)
{
    puts("Hi!");
    return 43;
}