package foo:a;
interface the-name {
  type ty = u8;
}