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

```asm
<tst_LED_Lights>:
  endbr64
  push   %r14
  mov    $0x2,%edi
  push   %r13
  lea    D50(%rip),%r13
  push   %r12
  push   %rbp
  lea    D22(%rip),%rbp
  push   %rbx
  xor    %ebx,%ebx
  sub    $0x70,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  lea    D135(%rip),%rax
  mov    %rsp,%r14
  lea    0x30(%rsp),%r12
  mov    %rax,(%rsp)
  lea    D107(%rip),%rax
  mov    %rax,0x30(%rsp)
  lea    D26(%rip),%rax
  mov    %rax,0x8(%rsp)
  lea    D116(%rip),%rax
  mov    %rax,0x38(%rsp)
  lea    D53(%rip),%rax
  mov    %rax,0x10(%rsp)
  lea    D60(%rip),%rax
  mov    %rax,0x40(%rsp)
  lea    D2(%rip),%rax
  mov    %rax,0x18(%rsp)
  lea    D42(%rip),%rax
  mov    %rax,0x48(%rsp)
  lea    D5(%rip),%rax
  mov    %rax,0x20(%rsp)
  lea    D132(%rip),%rax
  mov    %rax,0x50(%rsp)
  lea    D11(%rip),%rax
  mov    %rax,0x28(%rsp)
  mov    %rax,0x58(%rsp)
  call   <vt_clear@plt>
  mov    $0x1,%esi
  mov    $0xa,%edi
  call   <vt_move@plt>
  lea    D31(%rip),%rdi
  call   <println@plt>
  nopl   0x0(%rax,%rax,1)
L0:
  mov    $0x34,%esi
  mov    $0xa,%edi
  call   <vt_move@plt>
  xor    %edi,%edi
  call   <vt_el@plt>
  mov    (%r14,%rbx,1),%rsi
  mov    %r13,%rdi
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <decll@plt>
  mov    (%r12,%rbx,1),%rdi
  add    $0x8,%rbx
  call   <decll@plt>
  mov    $0x1,%esi
  mov    $0xc,%edi
  call   <vt_move@plt>
  xor    %eax,%eax
  call   <holdit@plt>
  cmp    $0x30,%rbx
  jne    L0
  mov    %rbp,%rdi
  call   <decll@plt>
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L5
  add    $0x70,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L5:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: tag: D50
type_guessed: string
name: read_data
arguments: tag: D22
type_guessed: string
name: read_data
arguments: tag: D135
type_guessed: string
name: read_data
arguments: tag: D107
type_guessed: string
name: read_data
arguments: tag: D26
type_guessed: string
name: read_data
arguments: tag: D116
type_guessed: string
name: read_data
arguments: tag: D53
type_guessed: string
name: read_data
arguments: tag: D60
type_guessed: string
name: read_data
arguments: tag: D2
type_guessed: string
name: read_data
arguments: tag: D42
type_guessed: string
name: read_data
arguments: tag: D5
type_guessed: string
name: read_data
arguments: tag: D132
type_guessed: string
name: read_data
arguments: tag: D11
type_guessed: string
name: read_data
arguments: tag: D31
type_guessed: string

tool: D50: %s

tool: D22: 0

tool: D135: L1 L2 L3 L4

tool: D107: 1;2;3;4

tool: D26:    L2 L3 L4

tool: D116: 1;0;4;3;2

tool: D53:    L2 L3

tool: D60: 1;4;;2;3

tool: D2: L1 L2

tool: D42: ;;2;1

tool: D5: L1

tool: D132: 1

tool: 

tool: D31: These LEDs ("lamps") on the keyboard should be on:

assistant: ```c
int tst_LED_Lights(const char *the_title) {
  int i;
  const char *ledmsg[6], *ledseq[6];
  ledmsg[0] = "L1 L2 L3 L4";
  ledseq[0] = "1;2;3;4";
  ledmsg[1] = "   L2 L3 L4";
  ledseq[1] = "1;0;4;3;2";
  ledmsg[2] = "   L2 L3";
  ledseq[2] = "1;4;;2;3";
  ledmsg[3] = "L1 L2";
  ledseq[3] = ";;2;1";
  ledmsg[4] = "L1";
  ledseq[4] = "1";
  ledmsg[5] = "";
  ledseq[5] = "";
  vt_clear(2);
  vt_move(10, 1);
  println("These LEDs (\"lamps\") on the keyboard should be on:");
  for (i = 0; i <= 5; i++) {
    vt_move(10, 52);
    vt_el(0);
    printf("%s", ledmsg[i]);
    decll("0");
    decll(ledseq[i]);
    vt_move(12, 1);
    holdit();
  }
  decll("0");
  return 0;
}
```