Symbol: OPT_CHECK_AFTER