Symbol: UINT_FAST64_MAX