Symbol: check_underflow