{-# htermination (\\) :: [Char] -> [Char] -> [Char] #-}
import List