DEFINE_TYPECODE(boolean,    bool,   0x00)
DEFINE_TYPECODE(utf8char,   u8char, 0x01)
DEFINE_TYPECODE(int8,       i8,     0x02)
DEFINE_TYPECODE(int16,      i16,    0x03)
DEFINE_TYPECODE(int32,      i32,    0x04)
DEFINE_TYPECODE(int64,      i64,    0x05)
DEFINE_TYPECODE(uint8,      u8,     0x06)
DEFINE_TYPECODE(uint16,     u16,    0x07)
DEFINE_TYPECODE(uint32,     u32,    0x08)
DEFINE_TYPECODE(uint64,     u64,    0x09)
DEFINE_TYPECODE(float16,    f16,    0x0A)
DEFINE_TYPECODE(float32,    f32,    0x0B)
DEFINE_TYPECODE(float64,    f64,    0x0C)
DEFINE_TYPECODE(bfloat16,   bf16,   0x0D)
DEFINE_TYPECODE(pointer,    *,      0xF0)
DEFINE_TYPECODE(valuetype,  val,    0xF1)
