Inductive integerS16T : Set := IntegerS16 {
  s16 : Z
}.
