Symbol: OPT_NOT_AFTER