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

```asm
<set_color_theme>:
  endbr64
  push   %rbp
  mov    %rdi,%rsi
  mov    %rdi,%rbp
  lea    D57(%rip),%rdi
  call   <message@plt>
  lea    D96(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L89
  lea    D182(%rip),%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
  nopl   0x0(%rax,%rax,1)
L89:
  lea    D21(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L60
  lea    D162(%rip),%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
  nopl   0x0(%rax)
L60:
  lea    D163(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L35
  lea    D85(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L82
  lea    D28(%rip),%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
  nopl   (%rax)
L35:
  lea    D132(%rip),%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
  nopl   (%rax)
L82:
  lea    D134(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L73
  lea    D158(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L37
  lea    D42(%rip),%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
  nopl   (%rax)
L73:
  lea    D41(%rip),%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
  nopl   (%rax)
L37:
  lea    D173(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L20
  lea    D73(%rip),%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
L20:
  lea    D176(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L87
  lea    D39(%rip),%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
L87:
  lea    D47(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L51
  lea    D35(%rip),%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
L51:
  mov    %rbp,%rdi
  pop    %rbp
  jmp    1080 <set_color_scale@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D57
datatype: string
name: extract_symbolic_data
arguments: label: D96
datatype: string
name: extract_symbolic_data
arguments: label: D182
datatype: string
name: extract_symbolic_data
arguments: label: D21
datatype: string
name: extract_symbolic_data
arguments: label: D162
datatype: string
name: extract_symbolic_data
arguments: label: D163
datatype: string
name: extract_symbolic_data
arguments: label: D85
datatype: string
name: extract_symbolic_data
arguments: label: D28
datatype: string
name: extract_symbolic_data
arguments: label: D132
datatype: string
name: extract_symbolic_data
arguments: label: D134
datatype: string
name: extract_symbolic_data
arguments: label: D158
datatype: string
name: extract_symbolic_data
arguments: label: D42
datatype: string
name: extract_symbolic_data
arguments: label: D41
datatype: string
name: extract_symbolic_data
arguments: label: D173
datatype: string
name: extract_symbolic_data
arguments: label: D73
datatype: string
name: extract_symbolic_data
arguments: label: D176
datatype: string
name: extract_symbolic_data
arguments: label: D39
datatype: string
name: extract_symbolic_data
arguments: label: D47
datatype: string
name: extract_symbolic_data
arguments: label: D35
datatype: string

tool: D57: Color theme: %s


tool: D96: rgb

tool: D182: 0000ff,00ff00,ff0000

tool: D21: warm

tool: D162: 000000,ff0000,ff6600,ffff99

tool: D163: cool

tool: D85: rainbow

tool: D28: ff0000,ff6600,ffff99,00ff00,0000ff,4b0082,663399

tool: D132: 008000,333399,81007f

tool: D134: topo

tool: D158: viridis

tool: D42: 000000,440154ff,481568ff,482677ff,453781ff,3f4788ff,39558cff,32648eff,2d718eff,287d8eff,38a8dff,1f968bff,20a386ff,29af7fff,3cbc75ff,56c667ff,74d055ff,94d840ff,b8de29ff,dce318ff,fde725ff

tool: D41: 000000,0019ff,0080ff,00e5ff,00ff4d,19fe00,80ff00,e6ff00,ffff00,ffe53c,ffdb77,ffe0b2

tool: D173: viridis50

tool: D73: 000000,440154ff, 46085cff, 471064ff, 48176aff, 481f70ff, 482576ff, 472c7aff, 46337eff, 443983ff,423f85ff, 404588ff, 3e4a89ff, 3c508bff, 39568cff, 365c8dff, 34618dff, 31668eff, 2f6b8eff,2d718eff, 2b758eff, 297a8eff, 277f8eff, 25848eff, 23898eff, 218e8dff, 20928cff, 1f978bff,1e9d89ff, 1fa187ff, 21a685ff, 25ab82ff, 29af7fff, 30b57cff, 38b977ff, 40bd72ff, 4ac16dff,55c568ff, 5fca61ff, 6bcd5aff, 77d153ff, 84d44bff, 91d742ff, 9fda3aff, acdc30ff, bade28ff,c8e020ff, d6e21aff, e4e419ff, f1e51dff, fde725ff

tool: D176: viridis35

tool: D39: 000000,440154FF, 460C5FFF, 481769FF, 482072FF, 472A7AFF, 463380FF, 433D84FF, 404588FF, 3D4E8AFF,39558CFF, 355E8DFF, 32668EFF, 2E6D8EFF, 2B738EFF, 297B8EFF, 26828EFF, 23898EFF, 21908CFF,1F978BFF, 1F9F89FF, 21A585FF, 25AD82FF, 2EB37CFF, 39BA77FF, 46C06FFF, 55C568FF, 65CB5EFF,76D054FF, 89D548FF, 9CD93BFF, B0DD2FFF, C3E022FF, D8E219FF, EBE51BFF FDE725FF

tool: D47: topo64

tool: D35: 000000,010107,03030E,040415,06061C,070723,09092A,0B0B31,0C0C38,0E0E40,0F0F47,11114E,131355,14145C,161663,17176A,181872,17177B,151584,13138D,121296,10109F,0F0FA8,0D0DB1,0B0BBA,0A0AC3,0808CD,0707D6,0505DF,0303E8,0202F1,0000FA,0008FF,0018FF,0028FF,0038FF,0048FF,0059FF,0069FF,0079FF,0089FF,0099FF,00A9FF,00BAFF,00CAFF,00DAFF,00EAFF,00FAFF,00FFF2,00FFE2,00FFD2,00FFC2,00FFB2,00FFA1,00FF91,00FF81,00FF71,00FF61,00FF50,00FF40,00FF30,00FF20,00FF10,00FF00

assistant: ```c
void set_color_theme(char *theme) {
  message("Color theme: %s\n", theme);
  if ((strcmp((theme), ("rgb")) == 0))
    set_color_scale("0000ff,00ff00,ff0000");
  else if ((strcmp((theme), ("warm")) == 0))
    set_color_scale("000000,ff0000,ff6600,ffff99");
  else if ((strcmp((theme), ("cool")) == 0))
    set_color_scale("008000,333399,81007f");
  else if ((strcmp((theme), ("rainbow")) == 0))
    set_color_scale("ff0000,ff6600,ffff99,00ff00,0000ff,4b0082,663399");
  else if ((strcmp((theme), ("topo")) == 0))
    set_color_scale("000000,0019ff,0080ff,00e5ff,00ff4d,19fe00,80ff00,e6ff00,ffff00,ffe53c,ffdb77,ffe0b2");
  else if ((strcmp((theme), ("viridis")) == 0))
    set_color_scale("000000,440154ff,481568ff,482677ff,453781ff,3f4788ff,39558cff,32648eff,2d718eff,287d8eff,38a8dff,1f968bff,20a386ff,29af7fff,3cbc75ff,56c667ff,74d055ff,94d840ff,b8de29ff,dce318ff,fde725ff");
  else if ((strcmp((theme), ("viridis50")) == 0))
    set_color_scale("000000,440154ff, 46085cff, 471064ff, 48176aff, 481f70ff, 482576ff, 472c7aff, 46337eff, 443983ff,423f85ff, 404588ff, 3e4a89ff, 3c508bff, 39568cff, 365c8dff, 34618dff, 31668eff, 2f6b8eff,2d718eff, 2b758eff, 297a8eff, 277f8eff, 25848eff, 23898eff, 218e8dff, 20928cff, 1f978bff,1e9d89ff, 1fa187ff, 21a685ff, 25ab82ff, 29af7fff, 30b57cff, 38b977ff, 40bd72ff, 4ac16dff,55c568ff, 5fca61ff, 6bcd5aff, 77d153ff, 84d44bff, 91d742ff, 9fda3aff, acdc30ff, bade28ff,c8e020ff, d6e21aff, e4e419ff, f1e51dff, fde725ff");
  else if ((strcmp((theme), ("viridis35")) == 0))
    set_color_scale("000000,440154FF, 460C5FFF, 481769FF, 482072FF, 472A7AFF, 463380FF, 433D84FF, 404588FF, 3D4E8AFF,39558CFF, 355E8DFF, 32668EFF, 2E6D8EFF, 2B738EFF, 297B8EFF, 26828EFF, 23898EFF, 21908CFF,1F978BFF, 1F9F89FF, 21A585FF, 25AD82FF, 2EB37CFF, 39BA77FF, 46C06FFF, 55C568FF, 65CB5EFF,76D054FF, 89D548FF, 9CD93BFF, B0DD2FFF, C3E022FF, D8E219FF, EBE51BFF FDE725FF");
  else if ((strcmp((theme), ("topo64")) == 0))
    set_color_scale("000000,010107,03030E,040415,06061C,070723,09092A,0B0B31,0C0C38,0E0E40,0F0F47,11114E,131355,14145C,161663,17176A,181872,17177B,151584,13138D,121296,10109F,0F0FA8,0D0DB1,0B0BBA,0A0AC3,0808CD,0707D6,0505DF,0303E8,0202F1,0000FA,0008FF,0018FF,0028FF,0038FF,0048FF,0059FF,0069FF,0079FF,0089FF,0099FF,00A9FF,00BAFF,00CAFF,00DAFF,00EAFF,00FAFF,00FFF2,00FFE2,00FFD2,00FFC2,00FFB2,00FFA1,00FF91,00FF81,00FF71,00FF61,00FF50,00FF40,00FF30,00FF20,00FF10,00FF00");
  else
    set_color_scale(theme);
}
```