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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x130,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movq   $0x0,-0x110(%rbp)
  movq   $0x0,-0x108(%rbp)
  lea    -0x100(%rbp),%rdx
  mov    $0x0,%eax
  mov    $0x1d,%ecx
  mov    %rdx,%rdi
  rep stos %rax,%es:(%rdi)
  mov    %rdi,%rdx
  mov    %eax,(%rdx)
  add    $0x4,%rdx
  mov    %ax,(%rdx)
  add    $0x2,%rdx
  mov    %al,(%rdx)
  add    $0x1,%rdx
  movq   $0x0,-0x118(%rbp)
  lea    -0x110(%rbp),%rax
  mov    %rax,%rsi
  lea    D23(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  jmp    L25
L5:
  lea    -0x110(%rbp),%rax
  mov    $0x7,%edx
  lea    D31(%rip),%rcx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  jne    L36
  lea    -0x110(%rbp),%rax
  mov    %rax,%rdi
  call   <chk_sum@plt>
  mov    %eax,-0x128(%rbp)
  lea    -0x110(%rbp),%rax
  mov    %rax,%rdi
  call   <chk_val@plt>
  mov    %eax,-0x124(%rbp)
  lea    -0x110(%rbp),%rax
  mov    $0x2c,%esi
  mov    %rax,%rdi
  call   <strchr@plt>
  add    $0x1,%rax
  mov    $0x2c,%esi
  mov    %rax,%rdi
  call   <strchr@plt>
  add    $0x1,%rax
  mov    %rax,-0x120(%rbp)
  mov    -0x128(%rbp),%eax
  cmp    -0x124(%rbp),%eax
  jne    L36
  mov    -0x120(%rbp),%rax
  movzbl (%rax),%eax
  cmp    $0x41,%al
  jne    L36
  lea    -0x110(%rbp),%rax
  mov    $0x2c,%esi
  mov    %rax,%rdi
  call   <strchr@plt>
  lea    0x1(%rax),%rcx
  lea    -0x118(%rbp),%rax
  mov    $0x6,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <strncpy@plt>
L36:
  lea    -0x110(%rbp),%rax
  mov    %rax,%rsi
  lea    D23(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
L25:
  lea    -0x110(%rbp),%rax
  lea    D26(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L5
  lea    -0x118(%rbp),%rax
  mov    %rax,%rdi
  call   <uct_to_bjt@plt>
  mov    %eax,-0x12c(%rbp)
  mov    -0x12c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x5,%edx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x64,%edx,%ecx
  sub    %ecx,%eax
  mov    %eax,%edx
  mov    -0x12c(%rbp),%eax
  movslq %eax,%rcx
  imul   $0x51eb851f,%rcx,%rcx
  shr    $0x20,%rcx
  sar    $0x5,%ecx
  sar    $0x1f,%eax
  sub    %eax,%ecx
  movslq %ecx,%rax
  imul   $0x51eb851f,%rax,%rax
  shr    $0x20,%rax
  sar    $0x5,%eax
  mov    %ecx,%esi
  sar    $0x1f,%esi
  sub    %esi,%eax
  imul   $0x64,%eax,%esi
  mov    %ecx,%eax
  sub    %esi,%eax
  mov    -0x12c(%rbp),%ecx
  movslq %ecx,%rsi
  imul   $0x68db8bad,%rsi,%rsi
  shr    $0x20,%rsi
  sar    $0xc,%esi
  sar    $0x1f,%ecx
  sub    %ecx,%esi
  mov    %edx,%ecx
  mov    %eax,%edx
  lea    D45(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L56
  call   <__stack_chk_fail@plt>
L56:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D23
type: string
name: extract_symbolic_data
arguments: tag: D31
type: string
name: extract_symbolic_data
arguments: tag: D26
type: string
name: extract_symbolic_data
arguments: tag: D45
type: string

tool: D23: %s

tool: D31: $GPRMC,

tool: D26: END

tool: D45: %02d:%02d:%02d

assistant: ```c
int main() {
  char sen[255] = {'\0'};
  char uct[8] = {'\0'};
  scanf("%s", sen);
  while (strcmp(sen, "END") != 0) {
    if (strncmp(sen, "$GPRMC,", 7) == 0) {
      int chksum = chk_sum(sen);
      int chkval = chk_val(sen);
      char *loc = strchr(strchr(sen, ',') + 1, ',') + 1;
      if (chksum == chkval && *loc == 'A') {
        strncpy(uct, (strchr(sen, ',') + 1), 6);
      }
    }
    scanf("%s", sen);
  }
  int bjt = uct_to_bjt(uct);
  printf("%02d:%02d:%02d", bjt / 10000, bjt / 100 % 100, bjt % 100);
  return 0;
}
```