Inductive integerU64Vec2T : Set := IntegerU64Vec2 {
  u64vec2_0 : Z;
  u64vec2_1 : Z
}.
