Definition s16Min : Z := -(2 ^ 15).
