Inductive integerS16Vec2T : Set := IntegerS16Vec2 {
  s16vec2_0 : Z;
  s16vec2_1 : Z
}.
