Lines Matching refs:DISAS_AND_CHECK