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

```asm
<set_default_opts>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    $0x0,%esi
  lea    D100(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D127(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D187(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D52(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x2,%esi
  lea    D57(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D128(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D27(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_str@plt>
  mov    $0x0,%esi
  lea    D105(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x3e8,%esi
  lea    D28(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D8(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D41(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D36(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D25(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_str@plt>
  mov    $0x0,%esi
  lea    D99(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D116(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D177(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D1(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D170(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D0(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x1,%esi
  lea    D111(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0x0,%esi
  lea    D205(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  mov    $0xffffffff,%esi
  lea    D19(%rip),%rax
  mov    %rax,%rdi
  call   <opt_set_int@plt>
  nop
  pop    %rbp
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D100
type_infered: string
name: unpack_data
arguments: data_tag: D127
type_infered: string
name: unpack_data
arguments: data_tag: D187
type_infered: string
name: unpack_data
arguments: data_tag: D52
type_infered: string
name: unpack_data
arguments: data_tag: D57
type_infered: string
name: unpack_data
arguments: data_tag: D128
type_infered: string
name: unpack_data
arguments: data_tag: D27
type_infered: string
name: unpack_data
arguments: data_tag: D105
type_infered: string
name: unpack_data
arguments: data_tag: D28
type_infered: string
name: unpack_data
arguments: data_tag: D8
type_infered: string
name: unpack_data
arguments: data_tag: D41
type_infered: string
name: unpack_data
arguments: data_tag: D36
type_infered: string
name: unpack_data
arguments: data_tag: D25
type_infered: string
name: unpack_data
arguments: data_tag: D99
type_infered: string
name: unpack_data
arguments: data_tag: D116
type_infered: string
name: unpack_data
arguments: data_tag: D177
type_infered: string
name: unpack_data
arguments: data_tag: D1
type_infered: string
name: unpack_data
arguments: data_tag: D170
type_infered: string
name: unpack_data
arguments: data_tag: D0
type_infered: string
name: unpack_data
arguments: data_tag: D111
type_infered: string
name: unpack_data
arguments: data_tag: D205
type_infered: string
name: unpack_data
arguments: data_tag: D19
type_infered: string

tool: D100: rt-stats

tool: D127: rt_trace_en

tool: D187: vhpi_trace_en

tool: D52: dump-llvm

tool: D57: optimise

tool: D128: bootstrap

tool: D27: dump-json

tool: D105: cover

tool: D28: stop-delta

tool: D8: unit-test

tool: D41: make-deps-only

tool: D36: make-posix

tool: D25: dump-vcode

tool: D99: relax

tool: D116: ignore-time

tool: D177: force-init

tool: D1: verbose

tool: D170: rt_profile

tool: D0: synthesis

tool: D111: missing-body

tool: D205: assembly

tool: D19: error-limit

assistant: ```c
void set_default_opts(void) {
  opt_set_int("rt-stats", 0);
  opt_set_int("rt_trace_en", 0);
  opt_set_int("vhpi_trace_en", 0);
  opt_set_int("dump-llvm", 0);
  opt_set_int("optimise", 2);
  opt_set_int("bootstrap", 0);
  opt_set_str("dump-json", NULL);
  opt_set_int("cover", 0);
  opt_set_int("stop-delta", 1000);
  opt_set_int("unit-test", 0);
  opt_set_int("make-deps-only", 0);
  opt_set_int("make-posix", 0);
  opt_set_str("dump-vcode", NULL);
  opt_set_int("relax", 0);
  opt_set_int("ignore-time", 0);
  opt_set_int("force-init", 0);
  opt_set_int("verbose", 0);
  opt_set_int("rt_profile", 0);
  opt_set_int("synthesis", 0);
  opt_set_int("missing-body", 1);
  opt_set_int("assembly", 0);
  opt_set_int("error-limit", -1);
}
```