let
assert_bool msg b =
if
not b
then
assert_failure msg