{-# htermination chr :: Int -> Char #-}