Symbol: OPT_OPTIONS