Inductive integerU32Vec3T : Set := IntegerU32Vec3 {
  u32vec3_0 : Z;
  u32vec3_1 : Z;
  u32vec3_2 : Z
}.
