The proof is at Re^31: global var. It all started with use Switch;, and the subroutine/returns were to get around the initial invalid use of the Switch method.