package a:a@1.0.0;

interface foo {
  type t = u32;
}