Symbol: check_allocation_overflow