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