Inductive integerS32T : Set := IntegerS32 {
  s32 : Z
}.
