user: What would the C source look like for the assembly code provided here?

```asm
<official_hdays>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %rdi,%rbx
  mov    %esi,%r12d
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  imul   $0x2710,%esi,%ebp
  lea    0x65(%rbp),%eax
  mov    %eax,(%rdi)
  lea    -0x76c(%rsi),%edx
  movslq %edx,%rax
  imul   $0x6bca1af3,%rax,%rax
  sar    $0x23,%rax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%eax
  lea    (%rax,%rax,8),%ecx
  lea    (%rax,%rcx,2),%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  lea    (%rax,%rax,4),%ecx
  lea    (%rax,%rcx,2),%esi
  lea    0x0(,%rax,8),%ecx
  sub    %eax,%ecx
  lea    0x1(%rcx),%eax
  movslq %eax,%rcx
  imul   $0x6bca1af3,%rcx,%rcx
  sar    $0x23,%rcx
  sar    $0x1f,%eax
  sub    %ecx,%esi
  lea    0x4(%rsi,%rax,1),%ecx
  movslq %ecx,%rax
  imul   $0xffffffff8d3dcb09,%rax,%rax
  shr    $0x20,%rax
  add    %ecx,%eax
  sar    $0x4,%eax
  mov    %ecx,%esi
  sar    $0x1f,%esi
  sub    %esi,%eax
  imul   $0x1d,%eax,%esi
  mov    %ecx,%eax
  sub    %esi,%eax
  mov    $0x19,%r13d
  sub    %eax,%r13d
  mov    %edx,%ecx
  sub    %eax,%ecx
  lea    -0x769(%r12),%eax
  test   %edx,%edx
  cmovns %edx,%eax
  sar    $0x2,%eax
  lea    0x1f(%rcx,%rax,1),%ecx
  movslq %ecx,%rax
  imul   $0xffffffff92492493,%rax,%rax
  shr    $0x20,%rax
  add    %ecx,%eax
  sar    $0x2,%eax
  mov    %ecx,%esi
  sar    $0x1f,%esi
  sub    %esi,%eax
  lea    0x0(,%rax,8),%esi
  sub    %eax,%esi
  sub    %esi,%ecx
  sub    %ecx,%r13d
  mov    %edx,0x10(%rsp)
  movl   $0x2,0x14(%rsp)
  movl   $0x1f,0x18(%rsp)
  movq   $0x0,0x20(%rsp)
  movq   $0x0,0x28(%rsp)
  movq   $0x0,0x30(%rsp)
  lea    0x10(%rsp),%rdi
  call   <mktime@plt>
  add    $0x1,%r13d
  imul   $0x15180,%r13d,%r13d
  movslq %r13d,%r13
  add    %rax,%r13
  cmp    $0x7d8,%r12d
  je     L20
  mov    %r13,0x8(%rsp)
  lea    0x8(%rsp),%r12
  mov    %r12,%rdi
  call   <localtime@plt>
  mov    %rax,%rdi
  call   <convert_date@plt>
  mov    %eax,0x4(%rbx)
  lea    0x1f5(%rbp),%eax
  mov    %eax,0x8(%rbx)
  addq   $0x321900,0x8(%rsp)
  mov    %r12,%rdi
  call   <localtime@plt>
  mov    %rax,%rdi
  call   <convert_date@plt>
  mov    %eax,0xc(%rbx)
  addq   $0xe8080,0x8(%rsp)
  mov    %r12,%rdi
  call   <localtime@plt>
  mov    %rax,%rdi
  call   <convert_date@plt>
  jmp    L22
L20:
  add    $0x15180,%r13
  mov    %r13,0x8(%rsp)
  lea    0x8(%rsp),%r12
  mov    %r12,%rdi
  call   <localtime@plt>
  mov    %rax,%rdi
  call   <convert_date@plt>
  mov    %eax,0x4(%rbx)
  movl   $0x1326775,0x8(%rbx)
  addq   $0x321900,0x8(%rsp)
  mov    %r12,%rdi
  call   <localtime@plt>
  movl   $0x1406fa5,0xc(%rbx)
  addq   $0xe8080,0x8(%rsp)
  mov    %r12,%rdi
  call   <localtime@plt>
  mov    $0x1326780,%eax
L22:
  mov    %eax,0x10(%rbx)
  lea    0x2d1(%rbp),%eax
  mov    %eax,0x14(%rbx)
  lea    0x32f(%rbp),%eax
  mov    %eax,0x18(%rbx)
  lea    0x44d(%rbp),%eax
  mov    %eax,0x1c(%rbx)
  lea    0x457(%rbp),%eax
  mov    %eax,0x20(%rbx)
  add    $0x4c9,%ebp
  mov    %ebp,0x24(%rbx)
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L9
  mov    $0x0,%eax
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L9:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
int official_hdays(int hdays[], int c_year) {
  int sizetab = 11;
  int n = 0;
  int a = 0;
  int b = 0;
  int c = 0;
  int d = 0;
  int e = 0;
  int p = 0;
  char year[5];
  struct tm date_tm;
  struct tm *date_tmp_p;
  time_t tps;
  long date_tmp_l = 0;
  char year_tmp[5], month_tmp[3], day_tmp[3];
  int buffer_i = 0;
  char buffer_c[2] = "";
  int test = 0;
  hdays[0] = (c_year * 10000) + 101;
  n = c_year - 1900;
  a = n % 19;
  b = ((a * 7) + 1) / 19;
  c = ((11 * a) - b + 4) % 29;
  d = n / 4;
  e = (n - c + d + 31) % 7;
  p = 25 - c - e;
  date_tm.tm_year = c_year - 1900;
  date_tm.tm_mon = 3 - 1;
  date_tm.tm_mday = 31;
  date_tm.tm_hour = date_tm.tm_min = date_tm.tm_sec = 0;
  tps = mktime(&date_tm);
  date_tmp_l = tps;
  date_tmp_l = date_tmp_l + ((p + 1) * 86400);
  if (c_year == 2008)
    date_tmp_l = date_tmp_l + 86400;
  tps = date_tmp_l;
  date_tmp_p = localtime(&tps);
  hdays[1] = convert_date(date_tmp_p);
  test = 0;
  hdays[2] = (c_year * 10000) + 501;
  date_tmp_l = tps;
  date_tmp_l = date_tmp_l + ((40 - 2) * 86400);
  tps = date_tmp_l;
  date_tmp_p = localtime(&tps);
  if (c_year == 2008)
    hdays[3] = 21000101;
  else
    hdays[3] = convert_date(date_tmp_p);
  test = 0;
  date_tmp_l = tps;
  date_tmp_l = date_tmp_l + ((10 + 1) * 86400);
  tps = date_tmp_l;
  date_tmp_p = localtime(&tps);
  if (c_year == 2008)
    hdays[4] = 20080512;
  else
    hdays[4] = convert_date(date_tmp_p);
  test = 0;
  hdays[5] = (c_year * 10000) + 721;
  hdays[6] = (c_year * 10000) + 815;
  hdays[7] = (c_year * 10000) + 1101;
  hdays[8] = (c_year * 10000) + 1111;
  hdays[9] = (c_year * 10000) + 1225;
  return 0;
}
```