let
assert_string str =
if
not (str =
""
)
then
assert_failure str