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

```asm
<TestGetMaxChars>:
  endbr64
  push   %r13
  lea    D65(%rip),%rdi
  lea    D39(%rip),%r13
  push   %r12
  lea    D50(%rip),%r12
  push   %rbp
  lea    D0(%rip),%rbp
  call   <puts@plt>
  lea    D51(%rip),%rdi
  call   <puts@plt>
  mov    %r13,%rdi
  call   <puts@plt>
  mov    $0x1,%edx
  mov    %r12,%rdi
  xor    %eax,%eax
  mov    $0x8,%esi
  call   <printf@plt>
  mov    $0x8,%edi
  call   <GetMaxChars@plt>
  xor    %edi,%edi
  cmp    $0x1,%eax
  sete   %dil
  call   <assert@plt>
  mov    %rbp,%rdi
  call   <puts@plt>
  mov    $0x2,%edx
  mov    %r12,%rdi
  xor    %eax,%eax
  mov    $0x10,%esi
  call   <printf@plt>
  mov    $0x10,%edi
  call   <GetMaxChars@plt>
  xor    %edi,%edi
  cmp    $0x2,%eax
  sete   %dil
  call   <assert@plt>
  mov    %rbp,%rdi
  call   <puts@plt>
  mov    $0x1,%edx
  mov    %r12,%rdi
  xor    %eax,%eax
  mov    $0x9,%esi
  call   <printf@plt>
  mov    $0x9,%edi
  call   <GetMaxChars@plt>
  xor    %edi,%edi
  cmp    $0x1,%eax
  sete   %dil
  call   <assert@plt>
  mov    %rbp,%rdi
  call   <puts@plt>
  xor    %edx,%edx
  mov    $0x7,%esi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0x7,%edi
  call   <GetMaxChars@plt>
  xor    %edi,%edi
  test   %eax,%eax
  sete   %dil
  call   <assert@plt>
  mov    %rbp,%rdi
  call   <puts@plt>
  xor    %edx,%edx
  mov    $0xfffffffb,%esi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0xfffffffb,%edi
  call   <GetMaxChars@plt>
  xor    %edi,%edi
  test   %eax,%eax
  sete   %dil
  call   <assert@plt>
  mov    %rbp,%rdi
  call   <puts@plt>
  mov    $0xa,%edx
  mov    %r12,%rdi
  xor    %eax,%eax
  mov    $0x50,%esi
  call   <printf@plt>
  mov    $0x50,%edi
  call   <GetMaxChars@plt>
  xor    %edi,%edi
  cmp    $0xa,%eax
  sete   %dil
  call   <assert@plt>
  mov    %rbp,%rdi
  call   <puts@plt>
  mov    %r13,%rdi
  call   <puts@plt>
  lea    D63(%rip),%rdi
  call   <puts@plt>
  pop    %rbp
  lea    D36(%rip),%rdi
  pop    %r12
  pop    %r13
  jmp    1080 <puts@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D65
type: string
name: extract_symbolic_data
arguments: data_tag: D39
type: string
name: extract_symbolic_data
arguments: data_tag: D50
type: string
name: extract_symbolic_data
arguments: data_tag: D0
type: string
name: extract_symbolic_data
arguments: data_tag: D51
type: string
name: extract_symbolic_data
arguments: data_tag: D63
type: string
name: extract_symbolic_data
arguments: data_tag: D36
type: string

tool: D65: 
----------------------------------------------------------------------------

tool: D39: ----------------------------------------------------------------------------

tool: D50: Get max chars %5d == %-5d: 

tool: D0: [OK]

tool: D51:   Test GetMaxChars()

tool: D63:   Done.

tool: D36: ----------------------------------------------------------------------------


assistant: ```c
void TestGetMaxChars() {
  printf("\n----------------------------------------------------------------------------\n");
  printf("  Test GetMaxChars()\n");
  printf("----------------------------------------------------------------------------\n");
  {
    printf("Get max chars %5d == %-5d: ", 8, 1);
    assert(GetMaxChars(8) == 1);
    printf("[OK]\n");
  };
  {
    printf("Get max chars %5d == %-5d: ", 16, 2);
    assert(GetMaxChars(16) == 2);
    printf("[OK]\n");
  };
  {
    printf("Get max chars %5d == %-5d: ", 9, 1);
    assert(GetMaxChars(9) == 1);
    printf("[OK]\n");
  };
  {
    printf("Get max chars %5d == %-5d: ", 7, 0);
    assert(GetMaxChars(7) == 0);
    printf("[OK]\n");
  };
  {
    printf("Get max chars %5d == %-5d: ", -5, 0);
    assert(GetMaxChars(-5) == 0);
    printf("[OK]\n");
  };
  {
    printf("Get max chars %5d == %-5d: ", 80, 10);
    assert(GetMaxChars(80) == 10);
    printf("[OK]\n");
  };
  printf("----------------------------------------------------------------------------\n");
  printf("  Done.\n");
  printf("----------------------------------------------------------------------------\n\n");
}
```