Definition integerS16Vec4TWF (t : integerS16Vec4T) : Prop :=
     isS16 (s16vec4_0 t) 
  /\ isS16 (s16vec4_1 t)
  /\ isS16 (s16vec4_2 t)
  /\ isS16 (s16vec4_3 t).
