Inductive integerU16Vec4T : Set := IntegerU16Vec4 {
  u16vec4_0 : Z;
  u16vec4_1 : Z;
  u16vec4_2 : Z;
  u16vec4_3 : Z
}.
