Symbol: ZYAN_INT32_MAX