Symbol: ATTRIBUTE_PURE