interface a {
  type t = u32;
}