int shlibfunc2(void);
int statlibfunc(void);
int main(void) {
if (statlibfunc() != 42)
return 1;
if (shlibfunc2() != 24)
return 0;
}