int s1(void);

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