interface shared1 {
  type the-type = u32;
}