Inductive float32Vec4T : Set := Float32Vec4 {
  f32vec4_0 : R;
  f32vec4_1 : R;
  f32vec4_2 : R;
  f32vec4_3 : R
}.
