Definition integerS32Vec3TWF (t : integerS32Vec3T) : Prop :=
     isS32 (s32vec3_0 t) 
  /\ isS32 (s32vec3_1 t)
  /\ isS32 (s32vec3_2 t).
