Currently when you push a label, after it pops, it returns back to the label that pushes it originally. Thus originating label needs to add checks for retval to ensure not pushing the same label infinitely. It would be useful to have a mode of push that one can specify next label it needs to go after pop.