Symbol: OPT_NMAX