syscalltbl__name
name = syscalltbl__name(sc->e_machine, sc->id);
const char *syscalltbl__name(int e_machine, int id);
name = syscalltbl__name(EM_HOST, node->syscall_nr);