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