Found a bug with return statements: local variables are not popped off of the stack.