int s2(void);

int s3(void) {
    return s2() + 1;
}