Inductive integerS64Vec3T : Set := IntegerS64Vec3 {
  s64vec3_0 : Z;
  s64vec3_1 : Z;
  s64vec3_2 : Z
}.
