DEBUGON=400
DBG_INFO_NODE=ON
END_OF_CNF