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