Symbol: TEST_OVERFLOWS_TYPE