user: What is the c source code of the assembly code below:

```asm
<test_normalize_timeval>:
  endbr64
  push   %rbp
  sub    $0x10,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x8(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rbp
  mov    D1(%rip),%rax
  mov    %rbp,%rdi
  mov    %rax,(%rsp)
  call   <timeval_normalize@plt>
  xor    %edi,%edi
  cmpl   $0xb,(%rsp)
  sete   %dil
  call   <assert@plt>
  xor    %edi,%edi
  cmpl   $0x1e240,0x4(%rsp)
  sete   %dil
  call   <assert@plt>
  mov    D57(%rip),%rax
  mov    %rbp,%rdi
  mov    %rax,(%rsp)
  call   <timeval_normalize@plt>
  xor    %edi,%edi
  cmpl   $0xb,(%rsp)
  sete   %dil
  call   <assert@plt>
  mov    0x4(%rsp),%eax
  xor    %edi,%edi
  test   %eax,%eax
  sete   %dil
  call   <assert@plt>
  mov    D22(%rip),%rax
  mov    %rbp,%rdi
  mov    %rax,(%rsp)
  call   <timeval_normalize@plt>
  xor    %edi,%edi
  cmpl   $0x86d,(%rsp)
  sete   %dil
  call   <assert@plt>
  xor    %edi,%edi
  cmpl   $0x7613f,0x4(%rsp)
  sete   %dil
  call   <assert@plt>
  mov    D34(%rip),%rax
  mov    %rbp,%rdi
  mov    %rax,(%rsp)
  call   <timeval_normalize@plt>
  xor    %edi,%edi
  cmpl   $0x9,(%rsp)
  sete   %dil
  call   <assert@plt>
  xor    %edi,%edi
  cmpl   $0xf423f,0x4(%rsp)
  sete   %dil
  call   <assert@plt>
  mov    D59(%rip),%rax
  mov    %rbp,%rdi
  mov    %rax,(%rsp)
  call   <timeval_normalize@plt>
  xor    %edi,%edi
  cmpl   $0x9,(%rsp)
  sete   %dil
  call   <assert@plt>
  xor    %edi,%edi
  cmpl   $0x1,0x4(%rsp)
  sete   %dil
  call   <assert@plt>
  mov    D41(%rip),%rax
  mov    %rbp,%rdi
  mov    %rax,(%rsp)
  call   <timeval_normalize@plt>
  xor    %edi,%edi
  cmpl   $0x354,(%rsp)
  sete   %dil
  call   <assert@plt>
  xor    %edi,%edi
  cmpl   $0x7e101,0x4(%rsp)
  sete   %dil
  call   <assert@plt>
  mov    0x8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L6
  add    $0x10,%rsp
  pop    %rbp
  ret
L6:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D1
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D57
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D22
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D34
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D59
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D41
data_type: byte[8]

tool: {"D1": [0x0b,0x00,0x00,0x00,0x40,0xe2,0x01,0x00]}

tool: {"D57": [0x0a,0x00,0x00,0x00,0x40,0x42,0x0f,0x00]}

tool: {"D22": [0x0a,0x00,0x00,0x00,0xff,0xff,0xff,0x7f]}

tool: {"D34": [0x0a,0x00,0x00,0x00,0xff,0xff,0xff,0xff]}

tool: {"D59": [0x0a,0x00,0x00,0x00,0xc1,0xbd,0xf0,0xff]}

tool: {"D41": [0xb8,0x0b,0x00,0x00,0x01,0x00,0x00,0x80]}

assistant: ```c
void test_normalize_timeval() {
  struct timeval a;
  a.tv_sec = 11;
  a.tv_usec = 123456;
  ;
  timeval_normalize(&a);
  assert(a.tv_sec == 11);
  assert(a.tv_usec == 123456);
  ;
  a.tv_sec = 10;
  a.tv_usec = 1000000;
  ;
  timeval_normalize(&a);
  assert(a.tv_sec == 11);
  assert(a.tv_usec == 0);
  ;
  a.tv_sec = 10;
  a.tv_usec = 2147483647;
  ;
  timeval_normalize(&a);
  assert(a.tv_sec == 2157);
  assert(a.tv_usec == 483647);
  ;
  a.tv_sec = 10;
  a.tv_usec = -1;
  ;
  timeval_normalize(&a);
  assert(a.tv_sec == 9);
  assert(a.tv_usec == 999999);
  ;
  a.tv_sec = 10;
  a.tv_usec = -999999;
  ;
  timeval_normalize(&a);
  assert(a.tv_sec == 9);
  assert(a.tv_usec == 1);
  ;
  a.tv_sec = 3000;
  a.tv_usec = -2147483647;
  ;
  timeval_normalize(&a);
  assert(a.tv_sec == 852);
  assert(a.tv_usec == 516353);
  ;
}
```