Inductive integerS8Vec2T : Set := IntegerS8Vec2 {
  s8vec2_0 : Z;
  s8vec2_1 : Z
}.
