Inductive integerS64Vec4T : Set := IntegerS64Vec4 {
  s64vec4_0 : Z;
  s64vec4_1 : Z;
  s64vec4_2 : Z;
  s64vec4_3 : Z
}.
