(module $type_a (typename $a u32))