Inductive integerS64Vec2T : Set := IntegerS64Vec2 {
  s64vec2_0 : Z;
  s64vec2_1 : Z
}.
