Symbol: DUMMY_SIZE_OF_INT