Inductive float64Vec4T : Set := Float64Vec4 {
  f64vec4_0 : R;
  f64vec4_1 : R;
  f64vec4_2 : R;
  f64vec4_3 : R
}.
