Symbol: DEFAULT_POSITIVE_ELEMENTS_SIZE