zserio.extension.python.symbols