types25: RegistryTypes = ...