Are we happy this is be declared twice? (i.e. in the original global and again here)