output.pushFloat(input.popFloat() -
output.pushFloat(input.popFloat() +
                            public void work() {                                output.pushFloat(input.popFloat() -                                                 input.popFloat());                            }