package foo:foo;

interface a {
  type a = u32;
}

world foo {
  import a;
}