int libfunc(void) {
    return 3;
}