get_syscall_name
out.Print("syscall pre: %s(", get_syscall_name(fSyscall));
get_syscall_name(fSyscall), fReturnValue);