get_syscall_arg_type
fprintf(sysc_fd, "\t.arg%dtype = %s,\n", nr + 1, get_syscall_arg_type(arg));
const char *get_syscall_arg_type(struct symbol *sym);