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