Inductive integerU8T : Set := IntegerU8 {
  u8 : Z
}.
