push1 input push2 push1 write push3 push1 write label1 push1 read push2 read subtract goto_ifnegative2 push2 read push3 add push3 write push2 read push1 add push2 write goto1 label2 push3 read output end