Symbol: MAXVAL