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