int putchar(int c);

int incr_and_print(int b) {
    return putchar(b + 2);
}