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