assert msg False = unsafePerformIO $ dumpLog >> (error $ "assertion failure: " ++ msg)
assert msg False = unsafePerformIO $ dumpLog >> (error $ "assertion failure: " ++ msg)
assert msg False = unsafePerformIO $ dumpLog >> (error $ "assertion failure: " ++ msg)