re_int_task_8125
static void re_int_task_8125 (void *, int);
sc->int_task = re_int_task_8125;
re_int_task_8125(arg, 0);