int incr_and_print(int c);

int main(void) {
    incr_and_print(70);
    return 0;
}