Definition float32Vec3TWF (t : float32Vec3T) : Prop :=
     isValidFloat (f32vec3_0 t)
  /\ isValidFloat (f32vec3_1 t)
  /\ isValidFloat (f32vec3_2 t).
