user: 下面的汇编指令对应的C源代码是什么：

```asm
<inter_undef_builtin_types>:
  endbr64
  push   %r12
  lea    D154(%rip),%r12
  push   %rbp
  mov    %rdi,%rbp
  mov    %r12,%rdi
  sub    $0x8,%rsp
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D315(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D268(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D359(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D106(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D191(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D61(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D14(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D31(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D63(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D297(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D81(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D72(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D111(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D416(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D69(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D151(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D291(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D394(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D337(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D354(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D306(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D197(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D313(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D19(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D129(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D395(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D75(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D316(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D74(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D132(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D216(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D215(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D308(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D320(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D295(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D278(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D360(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D87(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D182(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D114(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  lea    D11(%rip),%r12
  mov    %eax,%edx
  call   <inter_undef_type_cons@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  call   <inter_intern_sym@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  add    $0x8,%rsp
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  pop    %rbp
  pop    %r12
  jmp    1090 <inter_undef_type_cons@plt>
```

tool_calls: name: read_data
arguments: data_tag: D154
type: string
name: read_data
arguments: data_tag: D315
type: string
name: read_data
arguments: data_tag: D268
type: string
name: read_data
arguments: data_tag: D359
type: string
name: read_data
arguments: data_tag: D106
type: string
name: read_data
arguments: data_tag: D191
type: string
name: read_data
arguments: data_tag: D61
type: string
name: read_data
arguments: data_tag: D14
type: string
name: read_data
arguments: data_tag: D31
type: string
name: read_data
arguments: data_tag: D63
type: string
name: read_data
arguments: data_tag: D297
type: string
name: read_data
arguments: data_tag: D81
type: string
name: read_data
arguments: data_tag: D72
type: string
name: read_data
arguments: data_tag: D111
type: string
name: read_data
arguments: data_tag: D416
type: string
name: read_data
arguments: data_tag: D69
type: string
name: read_data
arguments: data_tag: D151
type: string
name: read_data
arguments: data_tag: D291
type: string
name: read_data
arguments: data_tag: D394
type: string
name: read_data
arguments: data_tag: D337
type: string
name: read_data
arguments: data_tag: D354
type: string
name: read_data
arguments: data_tag: D306
type: string
name: read_data
arguments: data_tag: D197
type: string
name: read_data
arguments: data_tag: D313
type: string
name: read_data
arguments: data_tag: D19
type: string
name: read_data
arguments: data_tag: D129
type: string
name: read_data
arguments: data_tag: D395
type: string
name: read_data
arguments: data_tag: D75
type: string
name: read_data
arguments: data_tag: D316
type: string
name: read_data
arguments: data_tag: D74
type: string
name: read_data
arguments: data_tag: D132
type: string
name: read_data
arguments: data_tag: D216
type: string
name: read_data
arguments: data_tag: D215
type: string
name: read_data
arguments: data_tag: D308
type: string
name: read_data
arguments: data_tag: D320
type: string
name: read_data
arguments: data_tag: D295
type: string
name: read_data
arguments: data_tag: D278
type: string
name: read_data
arguments: data_tag: D360
type: string
name: read_data
arguments: data_tag: D87
type: string
name: read_data
arguments: data_tag: D182
type: string
name: read_data
arguments: data_tag: D114
type: string
name: read_data
arguments: data_tag: D11
type: string

tool: D154: void

tool: D315: char

tool: D268: uchar

tool: D359: short

tool: D106: ushort

tool: D191: int

tool: D61: uint

tool: D14: long

tool: D31: ulong

tool: D63: longlong

tool: D297: ulonglong

tool: D81: float

tool: D72: double

tool: D111: longdouble

tool: D416: void*

tool: D69: str

tool: D151: str-auto

tool: D291: str-refc

tool: D394: symbol

tool: D337: type

tool: D354: *

tool: D306: auto*

tool: D197: refc*

tool: D313: array

tool: D19: c-fun

tool: D129: buf-fun

tool: D395: c-macro

tool: D75: code

tool: D316: code-unsafe

tool: D74: quote

tool: D132: struct

tool: D216: prefix

tool: D215: function

tool: D308: macro

tool: D320: int8

tool: D295: uint8

tool: D278: int16

tool: D360: uint16

tool: D87: int32

tool: D182: uint32

tool: D114: int64

tool: D11: 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"));
}
```