1 2 3 4 5 6 7 8 9 10 11
interface %interface { type %type = u32 type %world = %type record %record { %variant: %world, } }