user: Converte this assembly snippet into its equivalent C code:

```asm
<GifErrorString>:
  endbr64
  cmp    $0x71,%edi
  ja     L8
  lea    D111(%rip),%rdx
  mov    %edi,%edi
  movslq (%rdx,%rdi,4),%rax
  add    %rdx,%rax
  notrack jmp *%rax
  nopl   0x0(%rax)
  lea    D156(%rip),%rax
  ret
  nopl   0x0(%rax,%rax,1)
  lea    D45(%rip),%rax
  ret
  nopl   0x0(%rax,%rax,1)
  lea    D106(%rip),%rax
  ret
  nopl   0x0(%rax,%rax,1)
  lea    D119(%rip),%rax
  ret
  nopl   0x0(%rax,%rax,1)
L8:
  xor    %eax,%eax
  ret
  nopl   0x0(%rax,%rax,1)
  lea    D68(%rip),%rax
  ret
  lea    D110(%rip),%rax
  ret
  lea    D87(%rip),%rax
  ret
  lea    D71(%rip),%rax
  ret
  lea    D79(%rip),%rax
  ret
  lea    D30(%rip),%rax
  ret
  lea    D168(%rip),%rax
  ret
  lea    D131(%rip),%rax
  ret
  lea    D163(%rip),%rax
  ret
  lea    D64(%rip),%rax
  ret
  lea    D56(%rip),%rax
  ret
  lea    D57(%rip),%rax
  ret
  lea    D10(%rip),%rax
  ret
  lea    D33(%rip),%rax
  ret
```

tool_calls: name: read_data
arguments: data_label: D156
datatype: string
name: read_data
arguments: data_label: D45
datatype: string
name: read_data
arguments: data_label: D106
datatype: string
name: read_data
arguments: data_label: D119
datatype: string
name: read_data
arguments: data_label: D68
datatype: string
name: read_data
arguments: data_label: D110
datatype: string
name: read_data
arguments: data_label: D87
datatype: string
name: read_data
arguments: data_label: D71
datatype: string
name: read_data
arguments: data_label: D79
datatype: string
name: read_data
arguments: data_label: D30
datatype: string
name: read_data
arguments: data_label: D168
datatype: string
name: read_data
arguments: data_label: D131
datatype: string
name: read_data
arguments: data_label: D163
datatype: string
name: read_data
arguments: data_label: D64
datatype: string
name: read_data
arguments: data_label: D56
datatype: string
name: read_data
arguments: data_label: D57
datatype: string
name: read_data
arguments: data_label: D10
datatype: string
name: read_data
arguments: data_label: D33
datatype: string

tool: D156: Neither global nor local color map

tool: D45: Failed to close given file

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

tool: D119: Failed to allocate required memory

tool: D68: Failed to open given file

tool: D110: Given file was not opened for read

tool: D87: Data is not in GIF format

tool: D71: Failed to read from given file

tool: D79: Image descriptor is still active

tool: D30: Screen descriptor has already been set

tool: D168: No screen descriptor detected

tool: D131: No Image Descriptor detected

tool: D163: Image is defective, decoding aborted

tool: D64: Given file was not opened for write

tool: D56: Image EOF detected before image complete

tool: D57: Write failed (disk full?)

tool: D10: Wrong record type detected

tool: D33: Failed to write to given file

assistant: ```c
const char *GifErrorString(int ErrorCode) {
  const 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;
}
```