What about this? A RESTORE inside a function will favor a local label over a global one. In this example, we read the 2, not the 5.