print_syscall
print_syscall(FILE *outputFile, Syscall* syscall, debug_pre_syscall &message,
print_syscall(FILE *outputFile, Syscall* syscall, debug_post_syscall &message,