types10800: RegistryTypes = ...