fill_name_table(ts, ts->syscall_names, ts->nb_syscalls, new_nb, "syscall");
/* Update the table size */
ts->nb_syscalls = new_nb;
fill_name_table(ts, ts->syscall_names, ts->nb_syscalls, new_nb, "syscall");
/* Update the table size */
ts->nb_syscalls = new_nb;