Symbol: INT64_MAX