// File: /workspace/github_cpp_makefile_star2_O2/halfflat[P]tinyopt/test/googletest/googletest/src/gtest.cc
// Function: testing::internal::FormatEpochTimeInMillisAsRFC3339[abi:cxx11](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 %r14
pushq %rbx
subq $0x248, %rsp            # imm = 0x248
movq %rsi, %rax
movq %rdi, %rbx
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
leaq 0x1f0(%rsp), %rsi
movq %rax, %rdi
callq 0x43e5c
testb %al, %al
je 0x470d2
movl $0x76c, %eax            # imm = 0x76C
addl 0x204(%rsp), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
leaq 0x228(%rsp), %r14
movq %r14, %rdi
callq 0x4c0e2
leaq 0x15be3(%rip), %rdx     # 0x5ca79
leaq 0xd0(%rsp), %rdi
movq %r14, %rsi
callq 0x4c05c
movl 0x200(%rsp), %esi
incl %esi
leaq 0xb0(%rsp), %rdi
callq 0x3f96a
leaq 0xf0(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0x4c07b
leaq 0x15b99(%rip), %rdx     # 0x5ca79
leaq 0x110(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0x4c05c
movl 0x1fc(%rsp), %esi
leaq 0x90(%rsp), %rdi
callq 0x3f96a
leaq 0x130(%rsp), %rdi
leaq 0x110(%rsp), %rsi
leaq 0x90(%rsp), %rdx
callq 0x4c07b
leaq 0x15fc2(%rip), %rdx     # 0x5ceef
leaq 0x150(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0x4c05c
movl 0x1f8(%rsp), %esi
leaq 0x70(%rsp), %rdi
callq 0x3f96a
leaq 0x170(%rsp), %rdi
leaq 0x150(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0x4c07b
leaq 0x10d7c(%rip), %rdx     # 0x57cf0
leaq 0x190(%rsp), %rdi
leaq 0x170(%rsp), %rsi
callq 0x4c05c
movl 0x1f4(%rsp), %esi
leaq 0x50(%rsp), %rdi
callq 0x3f96a
leaq 0x1b0(%rsp), %rdi
leaq 0x190(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0x4c07b
leaq 0x10d35(%rip), %rdx     # 0x57cf0
leaq 0x1d0(%rsp), %rdi
leaq 0x1b0(%rsp), %rsi
callq 0x4c05c
movl 0x1f0(%rsp), %esi
leaq 0x30(%rsp), %rdi
callq 0x3f96a
leaq 0x10(%rsp), %rdi
leaq 0x1d0(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0x4c07b
leaq 0x1622c(%rip), %rdx     # 0x5d22b
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x4c05c
leaq 0x10(%rsp), %rdi
callq 0xdbe8
leaq 0x30(%rsp), %rdi
callq 0xdbe8
leaq 0x1d0(%rsp), %rdi
callq 0xdbe8
leaq 0x1b0(%rsp), %rdi
callq 0xdbe8
leaq 0x50(%rsp), %rdi
callq 0xdbe8
leaq 0x190(%rsp), %rdi
callq 0xdbe8
leaq 0x170(%rsp), %rdi
callq 0xdbe8
leaq 0x70(%rsp), %rdi
callq 0xdbe8
leaq 0x150(%rsp), %rdi
callq 0xdbe8
leaq 0x130(%rsp), %rdi
callq 0xdbe8
leaq 0x90(%rsp), %rdi
callq 0xdbe8
leaq 0x110(%rsp), %rdi
callq 0xdbe8
leaq 0xf0(%rsp), %rdi
callq 0xdbe8
leaq 0xb0(%rsp), %rdi
callq 0xdbe8
leaq 0xd0(%rsp), %rdi
callq 0xdbe8
leaq 0x228(%rsp), %rdi
callq 0xdbe8
jmp 0x470e6
leaq 0x11f91(%rip), %rsi     # 0x5906a
leaq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x1337a
movq %rbx, %rax
addq $0x248, %rsp            # imm = 0x248
popq %rbx
popq %r14
retq
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0xdbe8
jmp 0x47106
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0xdbe8
jmp 0x47115
movq %rax, %rbx
leaq 0x1d0(%rsp), %rdi
callq 0xdbe8
jmp 0x47127
movq %rax, %rbx
leaq 0x1b0(%rsp), %rdi
callq 0xdbe8
jmp 0x47139
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
callq 0xdbe8
leaq 0x190(%rsp), %rdi
callq 0xdbe8
leaq 0x170(%rsp), %rdi
callq 0xdbe8
leaq 0x70(%rsp), %rdi
callq 0xdbe8
leaq 0x150(%rsp), %rdi
callq 0xdbe8
leaq 0x130(%rsp), %rdi
callq 0xdbe8
leaq 0x90(%rsp), %rdi
callq 0xdbe8
leaq 0x110(%rsp), %rdi
callq 0xdbe8
leaq 0xf0(%rsp), %rdi
callq 0xdbe8
leaq 0xb0(%rsp), %rdi
callq 0xdbe8
leaq 0xd0(%rsp), %rdi
callq 0xdbe8
leaq 0x228(%rsp), %rdi
callq 0xdbe8
movq %rbx, %rdi
callq 0xdaa0
movq %rax, %rbx
jmp 0x47143
movq %rax, %rbx
jmp 0x47150
movq %rax, %rbx
jmp 0x4715d
movq %rax, %rbx
jmp 0x47167
movq %rax, %rbx
jmp 0x47174
movq %rax, %rbx
jmp 0x47181
movq %rax, %rbx
jmp 0x4718e
movq %rax, %rbx
jmp 0x4719b
movq %rax, %rbx
jmp 0x471a8
movq %rax, %rbx
jmp 0x471b5
movq %rax, %rbx
jmp 0x471c2