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

```asm
<help>:
  endbr64
  sub    $0x8,%rsp
  test   %edi,%edi
  je     L2
  cmp    $0x1,%edi
  je     L34
L28:
  add    $0x8,%rsp
  ret
L2:
  lea    D210(%rip),%rdi
  call   <printf@plt>
  lea    D344(%rip),%rdi
  call   <printf@plt>
  lea    D86(%rip),%rdi
  call   <printf@plt>
  lea    D337(%rip),%rdi
  call   <printf@plt>
  lea    D50(%rip),%rdi
  call   <printf@plt>
  lea    D286(%rip),%rdi
  call   <printf@plt>
  lea    D352(%rip),%rdi
  call   <printf@plt>
  lea    D100(%rip),%rdi
  call   <printf@plt>
  lea    D200(%rip),%rdi
  call   <printf@plt>
  lea    D110(%rip),%rdi
  call   <printf@plt>
  lea    D193(%rip),%rdi
  call   <printf@plt>
  lea    D10(%rip),%rdi
  call   <printf@plt>
  lea    D70(%rip),%rdi
  call   <printf@plt>
  lea    D196(%rip),%rdi
  call   <printf@plt>
  lea    D74(%rip),%rdi
  call   <printf@plt>
  lea    D33(%rip),%rdi
  call   <printf@plt>
  lea    D268(%rip),%rdi
  call   <printf@plt>
  lea    D266(%rip),%rdi
  call   <printf@plt>
  lea    D154(%rip),%rdi
  call   <printf@plt>
  lea    D202(%rip),%rdi
  call   <printf@plt>
  jmp    L28
L34:
  lea    D320(%rip),%rdi
  call   <printf@plt>
  lea    D178(%rip),%rdi
  call   <printf@plt>
  lea    D336(%rip),%rdi
  call   <printf@plt>
  lea    D59(%rip),%rdi
  call   <printf@plt>
  lea    D257(%rip),%rdi
  call   <printf@plt>
  lea    D321(%rip),%rdi
  call   <printf@plt>
  lea    D135(%rip),%rdi
  call   <printf@plt>
  lea    D21(%rip),%rdi
  call   <printf@plt>
  lea    D291(%rip),%rdi
  call   <printf@plt>
  lea    D343(%rip),%rdi
  call   <printf@plt>
  lea    D218(%rip),%rdi
  call   <printf@plt>
  lea    D306(%rip),%rdi
  call   <printf@plt>
  lea    D191(%rip),%rdi
  call   <printf@plt>
  lea    D236(%rip),%rdi
  call   <printf@plt>
  lea    D338(%rip),%rdi
  call   <printf@plt>
  lea    D27(%rip),%rdi
  call   <printf@plt>
  lea    D72(%rip),%rdi
  call   <printf@plt>
  jmp    L28
```

tool_calls: name: extract_symbolic_data
arguments: tag: D210
type: string
name: extract_symbolic_data
arguments: tag: D344
type: string
name: extract_symbolic_data
arguments: tag: D86
type: string
name: extract_symbolic_data
arguments: tag: D337
type: string
name: extract_symbolic_data
arguments: tag: D50
type: string
name: extract_symbolic_data
arguments: tag: D286
type: string
name: extract_symbolic_data
arguments: tag: D352
type: string
name: extract_symbolic_data
arguments: tag: D100
type: string
name: extract_symbolic_data
arguments: tag: D200
type: string
name: extract_symbolic_data
arguments: tag: D110
type: string
name: extract_symbolic_data
arguments: tag: D193
type: string
name: extract_symbolic_data
arguments: tag: D10
type: string
name: extract_symbolic_data
arguments: tag: D70
type: string
name: extract_symbolic_data
arguments: tag: D196
type: string
name: extract_symbolic_data
arguments: tag: D74
type: string
name: extract_symbolic_data
arguments: tag: D33
type: string
name: extract_symbolic_data
arguments: tag: D268
type: string
name: extract_symbolic_data
arguments: tag: D266
type: string
name: extract_symbolic_data
arguments: tag: D154
type: string
name: extract_symbolic_data
arguments: tag: D202
type: string
name: extract_symbolic_data
arguments: tag: D320
type: string
name: extract_symbolic_data
arguments: tag: D178
type: string
name: extract_symbolic_data
arguments: tag: D336
type: string
name: extract_symbolic_data
arguments: tag: D59
type: string
name: extract_symbolic_data
arguments: tag: D257
type: string
name: extract_symbolic_data
arguments: tag: D321
type: string
name: extract_symbolic_data
arguments: tag: D135
type: string
name: extract_symbolic_data
arguments: tag: D21
type: string
name: extract_symbolic_data
arguments: tag: D291
type: string
name: extract_symbolic_data
arguments: tag: D343
type: string
name: extract_symbolic_data
arguments: tag: D218
type: string
name: extract_symbolic_data
arguments: tag: D306
type: string
name: extract_symbolic_data
arguments: tag: D191
type: string
name: extract_symbolic_data
arguments: tag: D236
type: string
name: extract_symbolic_data
arguments: tag: D338
type: string
name: extract_symbolic_data
arguments: tag: D27
type: string
name: extract_symbolic_data
arguments: tag: D72
type: string

tool: D210: Standard commands:


tool: D344:   a                  = again (repeat last command)


tool: D86:   m-,m,m+            = vga mode


tool: D337:   s-,s,s+            = tv standard


tool: D50:   e                  = enable tvout


tool: D286:   d                  = disable tvout


tool: D352:   b,b--,b-,b+,b++    = brightness


tool: D100:   c,c--,c-,c+,c++    = contrast


tool: D200:   o,o--,o-,o+,o++    = color


tool: D110:   f,f--,f-,f+,f++    = flicker


tool: D193:   n,n--,n-,n+,n++    = sharpness


tool: D10:   l,l-,l0,l+         = left position


tool: D70:   t,t-,t0,t+         = top position


tool: D196:   w,w-,w0,w+         = width


tool: D74:   h,h-,h0,h+         = height


tool: D33:   g                  = get video parameters


tool: D268:   def                = default settings


tool: D266:   q                  = quit


tool: D154:   ?                  = standard commands (display this message)


tool: D202:   ??                 = advanced commands


tool: D320: Advanced commands:


tool: D178:   rg                      = register dump: graphics controller


tool: D336:   rg [reg] [size]         = read Graphics controller register


tool: D59:   Rg [reg] [value] [size] = write Graphics controller register


tool: D257:   rs                      = register dump: SIO


tool: D321:   rs [reg] [size]         = read SIO register


tool: D135:   Rs [reg] [value] [size] = write SIO register


tool: D21:   rsv, rss, rse           = register dump: VGA-TV, scaler, encoder


tool: D291:   rvc,rvl,rvm             = register dump: VP config, VP layer, VP move


tool: D343:   rv [reg] [size]         = read VP register


tool: D218:   Rv [reg] [value] [size] = write VP register


tool: D306:   rl                      = register dump: LPC


tool: D191:   rl [reg] [size]         = read LPC register


tool: D236:   Rl [reg] [value] [size] = write LPC register


tool: D338:   <,>                     = dec, inc FFO_LAT


tool: D27:   ?                       = standard commands


tool: D72:   ??                      = advanced commands (display this message)


assistant: ```c
void help(int level) {
  switch (level) {
  case 0: {
    printf("Standard commands:\n");
    printf("  a                  = again (repeat last command)\n");
    printf("  m-,m,m+            = vga mode\n");
    printf("  s-,s,s+            = tv standard\n");
    printf("  e                  = enable tvout\n");
    printf("  d                  = disable tvout\n");
    printf("  b,b--,b-,b+,b++    = brightness\n");
    printf("  c,c--,c-,c+,c++    = contrast\n");
    printf("  o,o--,o-,o+,o++    = color\n");
    printf("  f,f--,f-,f+,f++    = flicker\n");
    printf("  n,n--,n-,n+,n++    = sharpness\n");
    printf("  l,l-,l0,l+         = left position\n");
    printf("  t,t-,t0,t+         = top position\n");
    printf("  w,w-,w0,w+         = width\n");
    printf("  h,h-,h0,h+         = height\n");
    printf("  g                  = get video parameters\n");
    printf("  def                = default settings\n");
    printf("  q                  = quit\n");
    printf("  ?                  = standard commands (display this message)\n");
    printf("  ??                 = advanced commands\n");
  } break;
  case 1: {
    printf("Advanced commands:\n");
    printf("  rg                      = register dump: graphics controller\n");
    printf("  rg [reg] [size]         = read Graphics controller register\n");
    printf("  Rg [reg] [value] [size] = write Graphics controller register\n");
    printf("  rs                      = register dump: SIO\n");
    printf("  rs [reg] [size]         = read SIO register\n");
    printf("  Rs [reg] [value] [size] = write SIO register\n");
    printf("  rsv, rss, rse           = register dump: VGA-TV, scaler, encoder\n");
    printf("  rvc,rvl,rvm             = register dump: VP config, VP layer, VP move\n");
    printf("  rv [reg] [size]         = read VP register\n");
    printf("  Rv [reg] [value] [size] = write VP register\n");
    printf("  rl                      = register dump: LPC\n");
    printf("  rl [reg] [size]         = read LPC register\n");
    printf("  Rl [reg] [value] [size] = write LPC register\n");
    printf("  <,>                     = dec, inc FFO_LAT\n");
    printf("  ?                       = standard commands\n");
    printf("  ??                      = advanced commands (display this message)\n");
  } break;
  }
}
```