The whole point of goto ⊂ is to replace the current stack frame, while the whole point of local is to temporary save a variable's value on the stack.