Definition s8Min  : Z := -(2 ^ 7).
