Looks like I've got input validation working, in a sense. The problem is I have lots of branching and I don't know how to branch without chucking the next address on the stack.