Rextract LazyRegistry into a separate file.