int a_fun(void) {
    return 1;
}