/dev-python/symboltype/