package foo:foo;

interface a {
  type a = u32;
}