DEFCONFIG: debugs in config