module spec Data.Int where