Symbol: __overflows_type