Symbol: PRIxMAX