Symbol: check_div0