Symbol: REAL_MAX_PRESSURE