Inductive integerU16T : Set := IntegerU16 {
  u16 : Z
}.
