drop CoreExtensions::Main.req