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