interface shared2 {
  type t2 = u8;
}