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