int statlibfunc2(void) {
    return 18;
}