{-# htermination fromInt :: Int -> Int #-}