{-# htermination isControl :: Char -> Bool #-}