int libfunc2(void) {
    return 4;
}