syscalltbl__num_idx
for (int i = 0, num_idx = syscalltbl__num_idx(sc->e_machine); i < num_idx; ++i) {
for (int i = 0, num_idx = syscalltbl__num_idx(e_machine); i < num_idx; ++i) {
for (int i = 0, num_idx = syscalltbl__num_idx(e_machine); i < num_idx; ++i) {
int syscalltbl__num_idx(int e_machine);