int s1(void) {
    return 1;
}