{-# htermination userError :: String -> IOError #-}