Inductive integerU16Vec2T : Set := IntegerU16Vec2 {
  u16vec2_0 : Z;
  u16vec2_1 : Z
}.
