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