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