Symbol: req_ref_zero_or_close_to_overflow