{-# htermination (^) :: Int -> Int -> Int #-}