Symbol: l1_deact_cnf