Symbol: check_oflow