// File: /workspace/github_c_makefile_star2_O0/deplinenoise[P]tundra/unittest/googletest/googletest/src/gtest.cc
// Function: testing::internal::FormatEpochTimeInMillisAsIso8601[abi:cxx11](long long)
std::string FormatEpochTimeInMillisAsIso8601(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);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x270, %rsp            # imm = 0x270
movq %rdi, -0x258(%rbp)
movq %rdi, %rax
movq %rax, -0x250(%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 0x22220
testb $0x1, %al
jne 0x21e16
leaq -0x49(%rbp), %rdi
movq %rdi, -0x260(%rbp)
callq 0xee90
movq -0x258(%rbp), %rdi
movq -0x260(%rbp), %rdx
leaq 0x6e9e9(%rip), %rsi     # 0x907d0
callq 0x30890
jmp 0x21dee
leaq -0x49(%rbp), %rdi
callq 0xe850
jmp 0x221fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x49(%rbp), %rdi
callq 0xe850
jmp 0x2220b
movl -0x34(%rbp), %eax
addl $0x76c, %eax            # imm = 0x76C
movl %eax, -0x1a4(%rbp)
leaq -0x1a0(%rbp), %rdi
movq %rdi, -0x268(%rbp)
leaq -0x1a4(%rbp), %rsi
callq 0x35870
movq -0x268(%rbp), %rsi
leaq 0x6955e(%rip), %rdx     # 0x8b3aa
leaq -0x180(%rbp), %rdi
callq 0x30980
jmp 0x21e5a
movl -0x38(%rbp), %esi
incl %esi
leaq -0x1c8(%rbp), %rdi
callq 0x1b940
jmp 0x21e6d
leaq -0x160(%rbp), %rdi
leaq -0x180(%rbp), %rsi
leaq -0x1c8(%rbp), %rdx
callq 0x357a0
jmp 0x21e89
leaq 0x6951a(%rip), %rdx     # 0x8b3aa
leaq -0x140(%rbp), %rdi
leaq -0x160(%rbp), %rsi
callq 0x30980
jmp 0x21ea5
movl -0x3c(%rbp), %esi
leaq -0x1e8(%rbp), %rdi
callq 0x1b940
jmp 0x21eb6
leaq -0x120(%rbp), %rdi
leaq -0x140(%rbp), %rsi
leaq -0x1e8(%rbp), %rdx
callq 0x357a0
jmp 0x21ed2
leaq 0x6eb38(%rip), %rdx     # 0x90a11
leaq -0x100(%rbp), %rdi
leaq -0x120(%rbp), %rsi
callq 0x30980
jmp 0x21eee
movl -0x40(%rbp), %esi
leaq -0x208(%rbp), %rdi
callq 0x1b940
jmp 0x21eff
leaq -0xe0(%rbp), %rdi
leaq -0x100(%rbp), %rsi
leaq -0x208(%rbp), %rdx
callq 0x357a0
jmp 0x21f1b
leaq 0x69243(%rip), %rdx     # 0x8b165
leaq -0xc0(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x30980
jmp 0x21f37
movl -0x44(%rbp), %esi
leaq -0x228(%rbp), %rdi
callq 0x1b940
jmp 0x21f48
leaq -0xa0(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
leaq -0x228(%rbp), %rdx
callq 0x357a0
jmp 0x21f64
leaq 0x691fa(%rip), %rdx     # 0x8b165
leaq -0x80(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0x30980
jmp 0x21f7d
movl -0x48(%rbp), %esi
leaq -0x248(%rbp), %rdi
callq 0x1b940
jmp 0x21f8e
movq -0x258(%rbp), %rdi
leaq -0x80(%rbp), %rsi
leaq -0x248(%rbp), %rdx
callq 0x357a0
jmp 0x21fa7
leaq -0x248(%rbp), %rdi
callq 0xf058
leaq -0x80(%rbp), %rdi
callq 0xf058
leaq -0xa0(%rbp), %rdi
callq 0xf058
leaq -0x228(%rbp), %rdi
callq 0xf058
leaq -0xc0(%rbp), %rdi
callq 0xf058
leaq -0xe0(%rbp), %rdi
callq 0xf058
leaq -0x208(%rbp), %rdi
callq 0xf058
leaq -0x100(%rbp), %rdi
callq 0xf058
leaq -0x120(%rbp), %rdi
callq 0xf058
leaq -0x1e8(%rbp), %rdi
callq 0xf058
leaq -0x140(%rbp), %rdi
callq 0xf058
leaq -0x160(%rbp), %rdi
callq 0xf058
leaq -0x1c8(%rbp), %rdi
callq 0xf058
leaq -0x180(%rbp), %rdi
callq 0xf058
leaq -0x1a0(%rbp), %rdi
callq 0xf058
jmp 0x221fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x221ed
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x221e1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x221d5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x221c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x221bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x221b1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x221a5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x22199
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2218d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x22181
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x22175
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x22169
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x2215d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x22154
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x248(%rbp), %rdi
callq 0xf058
leaq -0x80(%rbp), %rdi
callq 0xf058
leaq -0xa0(%rbp), %rdi
callq 0xf058
leaq -0x228(%rbp), %rdi
callq 0xf058
leaq -0xc0(%rbp), %rdi
callq 0xf058
leaq -0xe0(%rbp), %rdi
callq 0xf058
leaq -0x208(%rbp), %rdi
callq 0xf058
leaq -0x100(%rbp), %rdi
callq 0xf058
leaq -0x120(%rbp), %rdi
callq 0xf058
leaq -0x1e8(%rbp), %rdi
callq 0xf058
leaq -0x140(%rbp), %rdi
callq 0xf058
leaq -0x160(%rbp), %rdi
callq 0xf058
leaq -0x1c8(%rbp), %rdi
callq 0xf058
leaq -0x180(%rbp), %rdi
callq 0xf058
leaq -0x1a0(%rbp), %rdi
callq 0xf058
jmp 0x2220b
movq -0x250(%rbp), %rax
addq $0x270, %rsp            # imm = 0x270
popq %rbp
retq
movq -0x58(%rbp), %rdi
callq 0xee80
nopw %cs:(%rax,%rax)