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

```asm
<GifErrorString>:
  endbr64
  cmp    $0x71,%edi
  ja     L7
  mov    %edi,%edi
  lea    D201(%rip),%rdx
  movslq (%rdx,%rdi,4),%rax
  add    %rdx,%rax
  notrack jmp *%rax
  lea    D183(%rip),%rax
  ret
  lea    D79(%rip),%rax
  ret
  lea    D151(%rip),%rax
  ret
  lea    D134(%rip),%rax
  ret
  lea    D115(%rip),%rax
  ret
  lea    D118(%rip),%rax
  ret
  lea    D111(%rip),%rax
  ret
  lea    D114(%rip),%rax
  ret
  lea    D41(%rip),%rax
  ret
  lea    D132(%rip),%rax
  ret
  lea    D24(%rip),%rax
  ret
  lea    D187(%rip),%rax
  ret
  lea    D28(%rip),%rax
  ret
  lea    D134(%rip),%rax
  ret
  lea    D105(%rip),%rax
  ret
  lea    D115(%rip),%rax
  ret
  lea    D118(%rip),%rax
  ret
  lea    D114(%rip),%rax
  ret
  lea    D100(%rip),%rax
  ret
  lea    D65(%rip),%rax
  ret
  lea    D210(%rip),%rax
  ret
L7:
  mov    $0x0,%eax
  ret
  lea    D51(%rip),%rax
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D183
type: string
name: extract_symbolic_data
arguments: label: D79
type: string
name: extract_symbolic_data
arguments: label: D151
type: string
name: extract_symbolic_data
arguments: label: D134
type: string
name: extract_symbolic_data
arguments: label: D115
type: string
name: extract_symbolic_data
arguments: label: D118
type: string
name: extract_symbolic_data
arguments: label: D111
type: string
name: extract_symbolic_data
arguments: label: D114
type: string
name: extract_symbolic_data
arguments: label: D41
type: string
name: extract_symbolic_data
arguments: label: D132
type: string
name: extract_symbolic_data
arguments: label: D24
type: string
name: extract_symbolic_data
arguments: label: D187
type: string
name: extract_symbolic_data
arguments: label: D28
type: string
name: extract_symbolic_data
arguments: label: D105
type: string
name: extract_symbolic_data
arguments: label: D100
type: string
name: extract_symbolic_data
arguments: label: D65
type: string
name: extract_symbolic_data
arguments: label: D210
type: string
name: extract_symbolic_data
arguments: label: D51
type: string

tool: D183: Failed to write to given file

tool: D79: Screen descriptor has already been set

tool: D151: Image descriptor is still active

tool: D134: Neither global nor local color map

tool: D115: Number of pixels bigger than width * height

tool: D118: Failed to allocate required memory

tool: D111: Write failed (disk full?)

tool: D114: Failed to close given file

tool: D41: Given file was not opened for write

tool: D132: Failed to read from given file

tool: D24: Data is not in GIF format

tool: D187: No screen descriptor detected

tool: D28: No Image Descriptor detected

tool: D105: Wrong record type detected

tool: D100: Given file was not opened for read

tool: D65: Image is defective, decoding aborted

tool: D210: Image EOF detected before image complete

tool: D51: Failed to open given file

assistant: ```c
char *GifErrorString(int ErrorCode) {
  char *Err;
  switch (ErrorCode) {
  case 1:
    Err = "Failed to open given file";
    break;
  case 2:
    Err = "Failed to write to given file";
    break;
  case 3:
    Err = "Screen descriptor has already been set";
    break;
  case 4:
    Err = "Image descriptor is still active";
    break;
  case 5:
    Err = "Neither global nor local color map";
    break;
  case 6:
    Err = "Number of pixels bigger than width * height";
    break;
  case 7:
    Err = "Failed to allocate required memory";
    break;
  case 8:
    Err = "Write failed (disk full?)";
    break;
  case 9:
    Err = "Failed to close given file";
    break;
  case 10:
    Err = "Given file was not opened for write";
    break;
  case 101:
    Err = "Failed to open given file";
    break;
  case 102:
    Err = "Failed to read from given file";
    break;
  case 103:
    Err = "Data is not in GIF format";
    break;
  case 104:
    Err = "No screen descriptor detected";
    break;
  case 105:
    Err = "No Image Descriptor detected";
    break;
  case 106:
    Err = "Neither global nor local color map";
    break;
  case 107:
    Err = "Wrong record type detected";
    break;
  case 108:
    Err = "Number of pixels bigger than width * height";
    break;
  case 109:
    Err = "Failed to allocate required memory";
    break;
  case 110:
    Err = "Failed to close given file";
    break;
  case 111:
    Err = "Given file was not opened for read";
    break;
  case 112:
    Err = "Image is defective, decoding aborted";
    break;
  case 113:
    Err = "Image EOF detected before image complete";
    break;
  default:
    Err = NULL;
    break;
  }
  return Err;
}
```