types12: RegistryTypes = ...