The prelude with assertion support. We use the same functions in Hugs and GHC for the assert infrastructure.