extern void print_hello(int i);

int main(int, char**) {
    print_hello(1);
    return 0;
}