Code Editor : checkkconfigsymbols.py