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