{-# htermination print :: () -> IO () #-}