let P be a cursor and M the memory :
A <- M[P] B <- M[P+1] C <- M[P+2]
M[B] <- M[B] - M[A] if M[B] is negative or null: P = C else: P = P + 3 go back to first step