#include #include int main(void) { int i = get_int(); printf("hello, %i\n", i); }