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