Hmm, that means that the "poping" of the local going out of scope actually assigns the saved value back to the tied variable. I would have thought that the whole symbol is pushed somewhere and restored by changing its linkage.