Inductive integerU32Vec2T : Set := IntegerU32Vec2 {
  u32vec2_0 : Z;
  u32vec2_1 : Z
}.
