// File: ambersun1234[P]AVL_Tree/./googletest/googletest/src/gtest.cc
// Function: testing::internal::FormatEpochTimeInMillisAsRFC3339[abi:cxx11](long long)
static std::string FormatEpochTimeInMillisAsRFC3339(TimeInMillis ms) {
  struct tm time_struct;
  if (!PortableLocaltime(static_cast<time_t>(ms / 1000), &time_struct))
    return "";
  // YYYY-MM-DDThh:mm:ss
  return StreamableToString(time_struct.tm_year + 1900) + "-" +
      String::FormatIntWidth2(time_struct.tm_mon + 1) + "-" +
      String::FormatIntWidth2(time_struct.tm_mday) + "T" +
      String::FormatIntWidth2(time_struct.tm_hour) + ":" +
      String::FormatIntWidth2(time_struct.tm_min) + ":" +
      String::FormatIntWidth2(time_struct.tm_sec) + "Z";
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x290, %rsp            # imm = 0x290
movq %rdi, -0x278(%rbp)
movq %rdi, %rax
movq %rax, -0x270(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rax, %rdi
leaq -0x48(%rbp), %rsi
callq 0x246a0
testb $0x1, %al
jne 0x29c66
leaq -0x49(%rbp), %rdi
movq %rdi, -0x280(%rbp)
callq 0x9c50
movq -0x278(%rbp), %rdi
movq -0x280(%rbp), %rdx
leaq 0x2ed55(%rip), %rsi     # 0x5898c
callq 0xf1d0
jmp 0x29c3e
leaq -0x49(%rbp), %rdi
callq 0x96d0
jmp 0x2a090
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x49(%rbp), %rdi
callq 0x96d0
jmp 0x2a0a0
movl -0x34(%rbp), %eax
addl $0x76c, %eax            # imm = 0x76C
movl %eax, -0x1c4(%rbp)
leaq -0x1c0(%rbp), %rdi
movq %rdi, -0x288(%rbp)
leaq -0x1c4(%rbp), %rsi
callq 0x3c090
movq -0x288(%rbp), %rsi
leaq 0x2f3e4(%rip), %rdx     # 0x59080
leaq -0x1a0(%rbp), %rdi
callq 0x37b80
jmp 0x29caa
movl -0x38(%rbp), %esi
incl %esi
leaq -0x1e8(%rbp), %rdi
callq 0x1dce0
jmp 0x29cbd
leaq -0x180(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
leaq -0x1e8(%rbp), %rdx
callq 0x3bfc0
jmp 0x29cd9
leaq 0x2f3a0(%rip), %rdx     # 0x59080
leaq -0x160(%rbp), %rdi
leaq -0x180(%rbp), %rsi
callq 0x37b80
jmp 0x29cf5
movl -0x3c(%rbp), %esi
leaq -0x208(%rbp), %rdi
callq 0x1dce0
jmp 0x29d06
leaq -0x140(%rbp), %rdi
leaq -0x160(%rbp), %rsi
leaq -0x208(%rbp), %rdx
callq 0x3bfc0
jmp 0x29d22
leaq 0x2ece0(%rip), %rdx     # 0x58a09
leaq -0x120(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x37b80
jmp 0x29d3e
movl -0x40(%rbp), %esi
leaq -0x228(%rbp), %rdi
callq 0x1dce0
jmp 0x29d4f
leaq -0x100(%rbp), %rdi
leaq -0x120(%rbp), %rsi
leaq -0x228(%rbp), %rdx
callq 0x3bfc0
jmp 0x29d6b
leaq 0x2f03f(%rip), %rdx     # 0x58db1
leaq -0xe0(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0x37b80
jmp 0x29d87
movl -0x44(%rbp), %esi
leaq -0x248(%rbp), %rdi
callq 0x1dce0
jmp 0x29d98
leaq -0xc0(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
leaq -0x248(%rbp), %rdx
callq 0x3bfc0
jmp 0x29db4
leaq 0x2eff6(%rip), %rdx     # 0x58db1
leaq -0xa0(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x37b80
jmp 0x29dd0
movl -0x48(%rbp), %esi
leaq -0x268(%rbp), %rdi
callq 0x1dce0
jmp 0x29de1
leaq -0x80(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0x268(%rbp), %rdx
callq 0x3bfc0
jmp 0x29dfa
movq -0x278(%rbp), %rdi
leaq 0x2fb81(%rip), %rdx     # 0x59989
leaq -0x80(%rbp), %rsi
callq 0x37b80
jmp 0x29e13
leaq -0x80(%rbp), %rdi
callq 0x9db8
leaq -0x268(%rbp), %rdi
callq 0x9db8
leaq -0xa0(%rbp), %rdi
callq 0x9db8
leaq -0xc0(%rbp), %rdi
callq 0x9db8
leaq -0x248(%rbp), %rdi
callq 0x9db8
leaq -0xe0(%rbp), %rdi
callq 0x9db8
leaq -0x100(%rbp), %rdi
callq 0x9db8
leaq -0x228(%rbp), %rdi
callq 0x9db8
leaq -0x120(%rbp), %rdi
callq 0x9db8
leaq -0x140(%rbp), %rdi
callq 0x9db8
leaq -0x208(%rbp), %rdi
callq 0x9db8
leaq -0x160(%rbp), %rdi
callq 0x9db8
leaq -0x180(%rbp), %rdi
callq 0x9db8
leaq -0x1e8(%rbp), %rdi
callq 0x9db8
leaq -0x1a0(%rbp), %rdi
callq 0x9db8
leaq -0x1c0(%rbp), %rdi
callq 0x9db8
jmp 0x2a090
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a082
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a076
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a06a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a05e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a052
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a046
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a03a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a02e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a022
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a016
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2a00a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x29ffe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x29ff2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x29fe6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x29fda
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x9db8
leaq -0x268(%rbp), %rdi
callq 0x9db8
leaq -0xa0(%rbp), %rdi
callq 0x9db8
leaq -0xc0(%rbp), %rdi
callq 0x9db8
leaq -0x248(%rbp), %rdi
callq 0x9db8
leaq -0xe0(%rbp), %rdi
callq 0x9db8
leaq -0x100(%rbp), %rdi
callq 0x9db8
leaq -0x228(%rbp), %rdi
callq 0x9db8
leaq -0x120(%rbp), %rdi
callq 0x9db8
leaq -0x140(%rbp), %rdi
callq 0x9db8
leaq -0x208(%rbp), %rdi
callq 0x9db8
leaq -0x160(%rbp), %rdi
callq 0x9db8
leaq -0x180(%rbp), %rdi
callq 0x9db8
leaq -0x1e8(%rbp), %rdi
callq 0x9db8
leaq -0x1a0(%rbp), %rdi
callq 0x9db8
leaq -0x1c0(%rbp), %rdi
callq 0x9db8
jmp 0x2a0a0
movq -0x270(%rbp), %rax
addq $0x290, %rsp            # imm = 0x290
popq %rbp
retq
movq -0x58(%rbp), %rdi
callq 0x9c40
nopl (%rax)