pub fn syscall_result_from_u64(value: u64) -> SyscallResult