Symbol: check_for_guest_assert