makeFlakeValue(state, flakeRef, AllowRegistryAtTop, *vFlake);

            makeFlakeValue(state, flakeRef, AllPure, *vFlake);