{-# htermination isSuffixOf :: [Int] -> [Int] -> Bool #-}
import List