Inductive integerU32T : Set := IntegerU32 {
  u32 : Z
}.
