print_arg
print_arg (char *string,
print_arg(struct syscall_arg *sc, syscallarg_t *args, syscallarg_t *retval,