user: Please show me the C implementation that matches the assembly code listed below:

```asm
<RevertJulian>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %rdx,-0x48(%rbp)
  mov    %rcx,-0x50(%rbp)
  cmpq   $0x231518,-0x38(%rbp)
  jle    L7
  mov    -0x38(%rbp),%rax
  sub    $0x1c7dd0,%rax
  pxor   %xmm0,%xmm0
  cvtsi2ss %rax,%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  D36(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  fldl   -0x60(%rbp)
  fldt   0xec4(%rip)        # 2010 <_fini+0xd04>
  fdivrp %st,%st(1)
  fnstcw -0x52(%rbp)
  movzwl -0x52(%rbp),%eax
  or     $0xc,%ah
  mov    %ax,-0x54(%rbp)
  fldcw  -0x54(%rbp)
  fistpll -0x28(%rbp)
  fldcw  -0x52(%rbp)
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm1,%xmm1
  cvtsi2sdq -0x28(%rbp),%xmm1
  movsd  D60(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%rdx
  sub    %rdx,%rax
  mov    %rax,-0x30(%rbp)
  jmp    L38
L7:
  mov    -0x38(%rbp),%rax
  mov    %rax,-0x30(%rbp)
L38:
  mov    -0x30(%rbp),%rax
  add    $0x5f4,%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x20(%rbp),%rax
  sub    $0x253abe,%rax
  pxor   %xmm0,%xmm0
  cvtsi2ss %rax,%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  D9(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  D58(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  D62(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rdx
  mov    %rdx,%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  lea    0x0(,%rax,4),%rdx
  add    %rdx,%rax
  pxor   %xmm1,%xmm1
  cvtsi2sd %rax,%xmm1
  pxor   %xmm2,%xmm2
  cvtsi2sdq -0x18(%rbp),%xmm2
  movsd  D36(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x20(%rbp),%rax
  sub    -0x10(%rbp),%rax
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  D15(%rip),%xmm1
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  mov    %eax,%edx
  mov    -0x10(%rbp),%rax
  sub    %eax,%edx
  pxor   %xmm1,%xmm1
  cvtsi2sdq -0x8(%rbp),%xmm1
  movsd  D15(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x48(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0xc,%eax
  jle    L34
  mov    -0x48(%rbp),%rax
  mov    (%rax),%eax
  lea    -0xc(%rax),%edx
  mov    -0x48(%rbp),%rax
  mov    %edx,(%rax)
L34:
  mov    -0x18(%rbp),%rax
  lea    -0x126b(%rax),%edx
  mov    -0x50(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x48(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x2,%eax
  jle    L44
  mov    -0x50(%rbp),%rax
  mov    (%rax),%eax
  lea    -0x1(%rax),%edx
  mov    -0x50(%rbp),%rax
  mov    %edx,(%rax)
L44:
  mov    -0x50(%rbp),%rax
  mov    (%rax),%eax
  test   %eax,%eax
  jg     L43
  mov    -0x50(%rbp),%rax
  mov    (%rax),%eax
  lea    -0x1(%rax),%edx
  mov    -0x50(%rbp),%rax
  mov    %edx,(%rax)
L43:
  nop
  pop    %rbp
  ret
```

tool_calls: name: unpack_data
arguments: tag: D36
type_infered: f64
name: unpack_data
arguments: tag: D60
type_infered: f64
name: unpack_data
arguments: tag: D9
type_infered: f64
name: unpack_data
arguments: tag: D58
type_infered: f64
name: unpack_data
arguments: tag: D62
type_infered: f64
name: unpack_data
arguments: tag: D15
type_infered: f64

tool: D36: 0.25

tool: D60: 0.24

tool: D9: 122.1

tool: D58: 365.25

tool: D62: 6680

tool: D15: 30.6001

assistant: ```c
void RevertJulian(long Julian, int *Day, int *Month, int *Year) {
  long ja, jalpha, jb, jc, jd, je;
  if (Julian >= 2299161L) {
    jalpha = ((float)(Julian - 1867216L) - 0.25) / 36524.25L;
    ja = Julian + 1 + jalpha - (long)(0.24 * jalpha);
  } else
    ja = Julian;
  jb = ja + 1524;
  jc = 6680.0 + ((float)(jb - 2439870L) - 122.1) / 365.25;
  jd = 365 * jc + (0.25 * jc);
  je = (jb - jd) / 30.6001;
  *Day = (int)jb - jd - ((int)(30.6001 * je));
  *Month = (int)je - 1;
  if (*Month > 12)
    *Month -= 12;
  *Year = (int)jc - 4715;
  if (*Month > 2)
    --(*Year);
  if (*Year <= 0)
    --(*Year);
}
```