Fix get_int Bug on this test

[IslamAbdelslam]

in line 6:

get_int parentheses should have any string " int get_int(const char *format, ...) attribute((format(printf, 1, 2))); "

so, let's fix it...