added CmiAbort and CmiAssert.