0.) D <- 0 1.) A <- 0 2.) C <- 0 3.) if C != B then (5.) else (3.) 4.) if B < D then (8.) else (2.) 5.) D <- D + C 6.) if A != D then (9.) else (3.) 7.) B <- 1 8.) if B < C then (5.) else (2.)