{-# htermination primThrowException :: HugsException -> a #-}