Inductive integerS32Vec2T : Set := IntegerS32Vec2 {
  s32vec2_0 : Z;
  s32vec2_1 : Z
}.
