同步的一种方式，在这种方式下codice_3和codice_4保持为真。
扩展欧几里德算法. a, b, x, y, u, v := A, B, 1, 0, 0, 1;这个重复在b = 0的时候结束，在这种情况下变量持有对贝祖等式：xA + yB = gcd(A,B)的解。
非确定性排序. do a>b → a, b := b, a这个程序在其中一个元素大于它的后续者的时候持续的置换元素。这个非确定性冒泡排序不比它的确定性版本更加有效率， 但是易于