{-# htermination maximum :: [Int] -> Int #-}