{-# htermination rangeSize :: (Char,Char) -> Int #-}