{-# htermination succ :: () -> () #-}