Declaring Local and Global in a function

His statement is right.
The way greys code (which does it similar as example 1) called the method is a compiler bug.

And thats exactly what he said, as he answered Grey's posting with that code.