Symbol: CNF_REG