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

```asm
<inter_undef_builtin_types>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%rbx
  lea    D91(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D181(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D160(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D57(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D384(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D2(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D400(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D1(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D105(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D120(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D225(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D358(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D113(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D275(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D94(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D192(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D135(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D154(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D138(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D349(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D354(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D348(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D286(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D156(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D263(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D395(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D407(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D115(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D387(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D166(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D116(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D67(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D206(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D336(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D398(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D24(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D142(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D140(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D112(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D295(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D311(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  lea    D221(%rip),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_intern_sym@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <inter_undef_type_cons@plt>
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  ret
```

tool_calls: name: read_data
arguments: data_label: D91
type_infered: string
name: read_data
arguments: data_label: D181
type_infered: string
name: read_data
arguments: data_label: D160
type_infered: string
name: read_data
arguments: data_label: D57
type_infered: string
name: read_data
arguments: data_label: D384
type_infered: string
name: read_data
arguments: data_label: D2
type_infered: string
name: read_data
arguments: data_label: D400
type_infered: string
name: read_data
arguments: data_label: D1
type_infered: string
name: read_data
arguments: data_label: D105
type_infered: string
name: read_data
arguments: data_label: D120
type_infered: string
name: read_data
arguments: data_label: D225
type_infered: string
name: read_data
arguments: data_label: D358
type_infered: string
name: read_data
arguments: data_label: D113
type_infered: string
name: read_data
arguments: data_label: D275
type_infered: string
name: read_data
arguments: data_label: D94
type_infered: string
name: read_data
arguments: data_label: D192
type_infered: string
name: read_data
arguments: data_label: D135
type_infered: string
name: read_data
arguments: data_label: D154
type_infered: string
name: read_data
arguments: data_label: D138
type_infered: string
name: read_data
arguments: data_label: D349
type_infered: string
name: read_data
arguments: data_label: D354
type_infered: string
name: read_data
arguments: data_label: D348
type_infered: string
name: read_data
arguments: data_label: D286
type_infered: string
name: read_data
arguments: data_label: D156
type_infered: string
name: read_data
arguments: data_label: D263
type_infered: string
name: read_data
arguments: data_label: D395
type_infered: string
name: read_data
arguments: data_label: D407
type_infered: string
name: read_data
arguments: data_label: D115
type_infered: string
name: read_data
arguments: data_label: D387
type_infered: string
name: read_data
arguments: data_label: D166
type_infered: string
name: read_data
arguments: data_label: D116
type_infered: string
name: read_data
arguments: data_label: D67
type_infered: string
name: read_data
arguments: data_label: D206
type_infered: string
name: read_data
arguments: data_label: D336
type_infered: string
name: read_data
arguments: data_label: D398
type_infered: string
name: read_data
arguments: data_label: D24
type_infered: string
name: read_data
arguments: data_label: D142
type_infered: string
name: read_data
arguments: data_label: D140
type_infered: string
name: read_data
arguments: data_label: D112
type_infered: string
name: read_data
arguments: data_label: D295
type_infered: string
name: read_data
arguments: data_label: D311
type_infered: string
name: read_data
arguments: data_label: D221
type_infered: string

tool: D91: void

tool: D181: char

tool: D160: uchar

tool: D57: short

tool: D384: ushort

tool: D2: int

tool: D400: uint

tool: D1: long

tool: D105: ulong

tool: D120: longlong

tool: D225: ulonglong

tool: D358: float

tool: D113: double

tool: D275: longdouble

tool: D94: void*

tool: D192: str

tool: D135: str-auto

tool: D154: str-refc

tool: D138: symbol

tool: D349: type

tool: D354: *

tool: D348: auto*

tool: D286: refc*

tool: D156: array

tool: D263: c-fun

tool: D395: buf-fun

tool: D407: c-macro

tool: D115: code

tool: D387: code-unsafe

tool: D166: quote

tool: D116: struct

tool: D67: prefix

tool: D206: function

tool: D336: macro

tool: D398: int8

tool: D24: uint8

tool: D142: int16

tool: D140: uint16

tool: D112: int32

tool: D295: uint32

tool: D311: int64

tool: D221: uint64

assistant: ```c
void inter_undef_builtin_types(struct inter *inter) {
  char *key_sym;
  key_sym = inter_intern_sym(inter, "void", strlen("void"));
  inter_undef_type_cons(inter, "void", strlen("void"));
  key_sym = inter_intern_sym(inter, "char", strlen("char"));
  inter_undef_type_cons(inter, "char", strlen("char"));
  key_sym = inter_intern_sym(inter, "uchar", strlen("uchar"));
  inter_undef_type_cons(inter, "uchar", strlen("uchar"));
  key_sym = inter_intern_sym(inter, "short", strlen("short"));
  inter_undef_type_cons(inter, "short", strlen("short"));
  key_sym = inter_intern_sym(inter, "ushort", strlen("ushort"));
  inter_undef_type_cons(inter, "ushort", strlen("ushort"));
  key_sym = inter_intern_sym(inter, "int", strlen("int"));
  inter_undef_type_cons(inter, "int", strlen("int"));
  key_sym = inter_intern_sym(inter, "uint", strlen("uint"));
  inter_undef_type_cons(inter, "uint", strlen("uint"));
  key_sym = inter_intern_sym(inter, "long", strlen("long"));
  inter_undef_type_cons(inter, "long", strlen("long"));
  key_sym = inter_intern_sym(inter, "ulong", strlen("ulong"));
  inter_undef_type_cons(inter, "ulong", strlen("ulong"));
  key_sym = inter_intern_sym(inter, "longlong", strlen("longlong"));
  inter_undef_type_cons(inter, "longlong", strlen("longlong"));
  key_sym = inter_intern_sym(inter, "ulonglong", strlen("ulonglong"));
  inter_undef_type_cons(inter, "ulonglong", strlen("ulonglong"));
  key_sym = inter_intern_sym(inter, "float", strlen("float"));
  inter_undef_type_cons(inter, "float", strlen("float"));
  key_sym = inter_intern_sym(inter, "double", strlen("double"));
  inter_undef_type_cons(inter, "double", strlen("double"));
  key_sym = inter_intern_sym(inter, "longdouble", strlen("longdouble"));
  inter_undef_type_cons(inter, "longdouble", strlen("longdouble"));
  key_sym = inter_intern_sym(inter, "void*", strlen("void*"));
  inter_undef_type_cons(inter, "void*", strlen("void*"));
  key_sym = inter_intern_sym(inter, "str", strlen("str"));
  inter_undef_type_cons(inter, "str", strlen("str"));
  key_sym = inter_intern_sym(inter, "str-auto", strlen("str-auto"));
  inter_undef_type_cons(inter, "str-auto", strlen("str-auto"));
  key_sym = inter_intern_sym(inter, "str-refc", strlen("str-refc"));
  inter_undef_type_cons(inter, "str-refc", strlen("str-refc"));
  key_sym = inter_intern_sym(inter, "symbol", strlen("symbol"));
  inter_undef_type_cons(inter, "symbol", strlen("symbol"));
  key_sym = inter_intern_sym(inter, "type", strlen("type"));
  inter_undef_type_cons(inter, "type", strlen("type"));
  key_sym = inter_intern_sym(inter, "*", strlen("*"));
  inter_undef_type_cons(inter, "*", strlen("*"));
  key_sym = inter_intern_sym(inter, "auto*", strlen("auto*"));
  inter_undef_type_cons(inter, "auto*", strlen("auto*"));
  key_sym = inter_intern_sym(inter, "refc*", strlen("refc*"));
  inter_undef_type_cons(inter, "refc*", strlen("refc*"));
  key_sym = inter_intern_sym(inter, "array", strlen("array"));
  inter_undef_type_cons(inter, "array", strlen("array"));
  key_sym = inter_intern_sym(inter, "c-fun", strlen("c-fun"));
  inter_undef_type_cons(inter, "c-fun", strlen("c-fun"));
  key_sym = inter_intern_sym(inter, "buf-fun", strlen("buf-fun"));
  inter_undef_type_cons(inter, "buf-fun", strlen("buf-fun"));
  key_sym = inter_intern_sym(inter, "c-macro", strlen("c-macro"));
  inter_undef_type_cons(inter, "c-macro", strlen("c-macro"));
  key_sym = inter_intern_sym(inter, "code", strlen("code"));
  inter_undef_type_cons(inter, "code", strlen("code"));
  key_sym = inter_intern_sym(inter, "code-unsafe", strlen("code-unsafe"));
  inter_undef_type_cons(inter, "code-unsafe", strlen("code-unsafe"));
  key_sym = inter_intern_sym(inter, "quote", strlen("quote"));
  inter_undef_type_cons(inter, "quote", strlen("quote"));
  key_sym = inter_intern_sym(inter, "struct", strlen("struct"));
  inter_undef_type_cons(inter, "struct", strlen("struct"));
  key_sym = inter_intern_sym(inter, "prefix", strlen("prefix"));
  inter_undef_type_cons(inter, "prefix", strlen("prefix"));
  key_sym = inter_intern_sym(inter, "function", strlen("function"));
  inter_undef_type_cons(inter, "function", strlen("function"));
  key_sym = inter_intern_sym(inter, "macro", strlen("macro"));
  inter_undef_type_cons(inter, "macro", strlen("macro"));
  key_sym = inter_intern_sym(inter, "int8", strlen("int8"));
  inter_undef_type_cons(inter, "int8", strlen("int8"));
  key_sym = inter_intern_sym(inter, "uint8", strlen("uint8"));
  inter_undef_type_cons(inter, "uint8", strlen("uint8"));
  key_sym = inter_intern_sym(inter, "int16", strlen("int16"));
  inter_undef_type_cons(inter, "int16", strlen("int16"));
  key_sym = inter_intern_sym(inter, "uint16", strlen("uint16"));
  inter_undef_type_cons(inter, "uint16", strlen("uint16"));
  key_sym = inter_intern_sym(inter, "int32", strlen("int32"));
  inter_undef_type_cons(inter, "int32", strlen("int32"));
  key_sym = inter_intern_sym(inter, "uint32", strlen("uint32"));
  inter_undef_type_cons(inter, "uint32", strlen("uint32"));
  key_sym = inter_intern_sym(inter, "int64", strlen("int64"));
  inter_undef_type_cons(inter, "int64", strlen("int64"));
  key_sym = inter_intern_sym(inter, "uint64", strlen("uint64"));
  inter_undef_type_cons(inter, "uint64", strlen("uint64"));
}
```