user: 请从给定的汇编指令推导出C源代码:

```asm
<write_timestamp>:
  endbr64
  push   %rbx
  xor    %ebx,%ebx
  sub    $0x60,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x58(%rsp)
  xor    %eax,%eax
  lea    0x10(%rsp),%rsi
  mov    %edi,0xc(%rsp)
  lea    0xc(%rsp),%rdi
  call   <gmtime_r@plt>
  mov    0x10(%rsp),%eax
  movb   $0x2d,0x34(%rsp)
  movb   $0x2d,0x37(%rsp)
  add    $0x76c,%eax
  movb   $0x54,0x3a(%rsp)
  movslq %eax,%rsi
  cltd
  movb   $0x3a,0x3d(%rsp)
  imul   $0x66666667,%rsi,%rsi
  movb   $0x3a,0x40(%rsp)
  sar    $0x22,%rsi
  sub    %edx,%esi
  movslq %esi,%rdx
  mov    %esi,%ecx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x1f,%ecx
  sar    $0x22,%rdx
  sub    %ecx,%edx
  movslq %edx,%rcx
  mov    %edx,%edi
  imul   $0x66666667,%rcx,%rcx
  sar    $0x1f,%edi
  sar    $0x22,%rcx
  sub    %edi,%ecx
  movslq %ecx,%rdi
  mov    %ecx,%r8d
  imul   $0x66666667,%rdi,%rdi
  sar    $0x1f,%r8d
  sar    $0x22,%rdi
  sub    %r8d,%edi
  lea    (%rdi,%rdi,4),%r8d
  mov    %ecx,%edi
  add    %r8d,%r8d
  sub    %r8d,%edi
  add    $0x30,%edi
  mov    %dil,%bl
  lea    (%rcx,%rcx,4),%edi
  mov    %edx,%ecx
  add    %edi,%edi
  sub    %edi,%ecx
  lea    0x30(%rsp),%rdi
  add    $0x30,%ecx
  mov    %cl,%bh
  lea    (%rdx,%rdx,4),%ecx
  mov    %esi,%edx
  add    %ecx,%ecx
  movzwl %bx,%ebx
  sub    %ecx,%edx
  lea    (%rsi,%rsi,4),%ecx
  add    $0x30,%edx
  add    %ecx,%ecx
  movzbl %dl,%edx
  shl    $0x10,%edx
  sub    %ecx,%eax
  add    $0x30,%eax
  or     %edx,%ebx
  shl    $0x18,%eax
  or     %eax,%ebx
  mov    0x14(%rsp),%eax
  mov    %ebx,0x30(%rsp)
  add    $0x1,%eax
  movslq %eax,%rdx
  mov    %eax,%ecx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x1f,%ecx
  sar    $0x22,%rdx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  lea    (%rdx,%rdx,4),%edx
  add    %edx,%edx
  mov    %cl,0x35(%rsp)
  sub    %edx,%eax
  add    $0x30,%eax
  mov    %al,0x36(%rsp)
  movslq 0x18(%rsp),%rax
  mov    %rax,%rdx
  imul   $0x66666667,%rax,%rax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sar    $0x22,%rax
  sub    %ecx,%eax
  lea    0x30(%rax),%ecx
  lea    (%rax,%rax,4),%eax
  add    %eax,%eax
  mov    %cl,0x38(%rsp)
  sub    %eax,%edx
  movslq 0x1c(%rsp),%rax
  add    $0x30,%edx
  mov    %dl,0x39(%rsp)
  mov    %rax,%rdx
  imul   $0x66666667,%rax,%rax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sar    $0x22,%rax
  sub    %ecx,%eax
  lea    0x30(%rax),%ecx
  lea    (%rax,%rax,4),%eax
  add    %eax,%eax
  mov    %cl,0x3b(%rsp)
  sub    %eax,%edx
  movslq 0x20(%rsp),%rax
  add    $0x30,%edx
  mov    %dl,0x3c(%rsp)
  mov    %rax,%rdx
  imul   $0x66666667,%rax,%rax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sar    $0x22,%rax
  sub    %ecx,%eax
  lea    0x30(%rax),%ecx
  lea    (%rax,%rax,4),%eax
  add    %eax,%eax
  mov    %cl,0x3e(%rsp)
  sub    %eax,%edx
  movslq 0x24(%rsp),%rax
  add    $0x30,%edx
  mov    %dl,0x3f(%rsp)
  mov    %rax,%rdx
  imul   $0xffffffff88888889,%rax,%rax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  shr    $0x20,%rax
  add    %edx,%eax
  sar    $0x5,%eax
  sub    %ecx,%eax
  imul   $0x3c,%eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  movslq %eax,%rdx
  mov    %eax,%ecx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x1f,%ecx
  sar    $0x22,%rdx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  lea    (%rdx,%rdx,4),%edx
  add    %edx,%edx
  mov    %cl,0x41(%rsp)
  sub    %edx,%eax
  add    $0x30,%eax
  mov    %al,0x42(%rsp)
  mov    $0x5a,%eax
  mov    %ax,0x43(%rsp)
  call   <write_str@plt>
  mov    0x58(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0x60,%rsp
  pop    %rbx
  ret
L7:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void write_timestamp(uint64_t v) {
  time_t vtime;
  struct tm tm;
  char s[30], *sp;
  int i;
  vtime = v;
  gmtime_r(&vtime, &tm);
  i = tm.tm_year + 1900;
  sp = s + 3;
  *sp-- = i % 10 + '0';
  i /= 10;
  *sp-- = i % 10 + '0';
  i /= 10;
  *sp-- = i % 10 + '0';
  i /= 10;
  *sp = i % 10 + '0';
  sp += 4;
  *sp++ = '-';
  i = tm.tm_mon + 1;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = '-';
  i = tm.tm_mday;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = 'T';
  i = tm.tm_hour;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = ':';
  i = tm.tm_min;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = ':';
  i = tm.tm_sec % 60;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = 'Z';
  *sp = 0;
  write_str(s);
}
```