pub fn syscall_result_to_u64(result: SyscallResult) -> u64