int a_fun(void) { return 1; }