Code Editor : headerregistry.py