print_syscall
print_syscall(outputFile, syscall, message.pre_syscall,
print_syscall(outputFile, syscall, message.post_syscall,