Inductive integerU8Vec2T : Set := IntegerU8Vec2 {
  u8vec2_0 : Z;
  u8vec2_1 : Z
}.
