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