{-# htermination toEnum :: Int -> () #-}