package a:a@2.0.0;

interface foo {
  type t = u32;
}