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

```asm
<curve_name>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %edi,-0x4(%rbp)
  cmpl   $0x19,-0x4(%rbp)
  ja     L133
  mov    -0x4(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  lea    D143(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D143(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  lea    D58(%rip),%rax
  jmp    L230
  lea    D87(%rip),%rax
  jmp    L230
  lea    D25(%rip),%rax
  jmp    L230
  lea    D263(%rip),%rax
  jmp    L230
  lea    D257(%rip),%rax
  jmp    L230
  lea    D97(%rip),%rax
  jmp    L230
  lea    D208(%rip),%rax
  jmp    L230
  lea    D175(%rip),%rax
  jmp    L230
  lea    D74(%rip),%rax
  jmp    L230
  lea    D219(%rip),%rax
  jmp    L230
  lea    D15(%rip),%rax
  jmp    L230
  lea    D156(%rip),%rax
  jmp    L230
  lea    D66(%rip),%rax
  jmp    L230
  lea    D221(%rip),%rax
  jmp    L230
  lea    D244(%rip),%rax
  jmp    L230
  lea    D72(%rip),%rax
  jmp    L230
  lea    D125(%rip),%rax
  jmp    L230
  lea    D47(%rip),%rax
  jmp    L230
  lea    D217(%rip),%rax
  jmp    L230
  lea    D59(%rip),%rax
  jmp    L230
  lea    D44(%rip),%rax
  jmp    L230
  lea    D205(%rip),%rax
  jmp    L230
  lea    D174(%rip),%rax
  jmp    L230
  lea    D155(%rip),%rax
  jmp    L230
  lea    D252(%rip),%rax
  jmp    L230
L133:
  lea    D254(%rip),%rax
L230:
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D58
datatype: string
name: extract_symbolic_data
arguments: label: D87
datatype: string
name: extract_symbolic_data
arguments: label: D25
datatype: string
name: extract_symbolic_data
arguments: label: D263
datatype: string
name: extract_symbolic_data
arguments: label: D257
datatype: string
name: extract_symbolic_data
arguments: label: D97
datatype: string
name: extract_symbolic_data
arguments: label: D208
datatype: string
name: extract_symbolic_data
arguments: label: D175
datatype: string
name: extract_symbolic_data
arguments: label: D74
datatype: string
name: extract_symbolic_data
arguments: label: D219
datatype: string
name: extract_symbolic_data
arguments: label: D15
datatype: string
name: extract_symbolic_data
arguments: label: D156
datatype: string
name: extract_symbolic_data
arguments: label: D66
datatype: string
name: extract_symbolic_data
arguments: label: D221
datatype: string
name: extract_symbolic_data
arguments: label: D244
datatype: string
name: extract_symbolic_data
arguments: label: D72
datatype: string
name: extract_symbolic_data
arguments: label: D125
datatype: string
name: extract_symbolic_data
arguments: label: D47
datatype: string
name: extract_symbolic_data
arguments: label: D217
datatype: string
name: extract_symbolic_data
arguments: label: D59
datatype: string
name: extract_symbolic_data
arguments: label: D44
datatype: string
name: extract_symbolic_data
arguments: label: D205
datatype: string
name: extract_symbolic_data
arguments: label: D174
datatype: string
name: extract_symbolic_data
arguments: label: D155
datatype: string
name: extract_symbolic_data
arguments: label: D252
datatype: string
name: extract_symbolic_data
arguments: label: D254
datatype: string

tool: D58: sect163k1

tool: D87: sect163r1

tool: D25: sect163r2

tool: D263: sect193r1

tool: D257: sect193r2

tool: D97: sect233k1

tool: D208: sect233r1

tool: D175: sect239k1

tool: D74: sect283k1

tool: D219: sect283r1

tool: D15: sect409k1

tool: D156: sect409r1

tool: D66: sect571k1

tool: D221: sect571r1

tool: D244: secp160k1

tool: D72: secp160r1

tool: D125: secp160r2

tool: D47: secp192k1

tool: D217: prime192v1

tool: D59: secp224k1

tool: D44: secp224r1

tool: D205: secp256k1

tool: D174: prime256v1

tool: D155: secp384r1

tool: D252: secp521r1

tool: D254: UNKNOWN

assistant: ```c
const char *curve_name(int curve) {
  switch (curve) {
  case 1:
    return "sect163k1";
  case 2:
    return "sect163r1";
  case 3:
    return "sect163r2";
  case 4:
    return "sect193r1";
  case 5:
    return "sect193r2";
  case 6:
    return "sect233k1";
  case 7:
    return "sect233r1";
  case 8:
    return "sect239k1";
  case 9:
    return "sect283k1";
  case 10:
    return "sect283r1";
  case 11:
    return "sect409k1";
  case 12:
    return "sect409r1";
  case 13:
    return "sect571k1";
  case 14:
    return "sect571r1";
  case 15:
    return "secp160k1";
  case 16:
    return "secp160r1";
  case 17:
    return "secp160r2";
  case 18:
    return "secp192k1";
  case 19:
    return "prime192v1";
  case 20:
    return "secp224k1";
  case 21:
    return "secp224r1";
  case 22:
    return "secp256k1";
  case 23:
    return "prime256v1";
  case 24:
    return "secp384r1";
  case 25:
    return "secp521r1";
  default:
    return "UNKNOWN";
  }
}
```