interface shared1 {
  type t1 = u8;
}