Symbol: OPTION_END