CFG definition; +DCFG