Assertion.hs 620 Bytes