Symbol: UTF8_SET_SIZE