test cases/unit/12 promote/subprojects/s2/s2.c

int func();


int main(int argc, char **argv) {
    return func() != 42;
}