WHILE x0 != 0 DO x0 := x0 - 1 END ; WHILE x1 != 0 DO x10 := x1 + 0 ; x1 := x1 - 1 ; WHILE x10 != 0 DO x10 := x10 - 1 ; x0 := x0 + 1 END ; END