.typedef @i1 = int<1> .typedef @i8 = int<8> .typedef @i16 = int<16> .typedef @i32 = int<32> .typedef @i64 = int<64> .typedef @float = float .typedef @double = double .typedef @rv = ref<@void> .typedef @irv = iref<@void> .typedef @wrv = weakref<@void> .typedef @ri16 = ref<@i16> .typedef @s1 = struct<@i8 @i16 @i32 @i64 @float @double @rv @irv @wrv @ri16> .typedef @Cons = struct<@i64 @RefCons> .typedef @RefCons = ref<@Cons> .typedef @foo = struct<@double @i64> .typedef @a0 = array<@i8 100> .typedef @a1 = array<@foo 10> .typedef @a2 = array<@a1 10> .typedef @h0 = hybrid <@void @i8> .typedef @h1 = hybrid <@foo @i64> .typedef @void = void .funcsig @sig0 = @void () .typedef @ii8 = iref<@i8> .typedef @iii8 = iref<@ii8> .funcsig @sig1 = @i32 (@i32 @iii8) .typedef @f0 = func <@sig0> .typedef @f1 = func <@sig1> .typedef @th = thread .typedef @st = stack .typedef @tr64 = tagref64 .typedef @4xfloat = vector <@float 4> .typedef @4xi32 = vector <@i32 4> .typedef @2xdouble = vector <@double 2>