Revert do_assert