let var c0:=12 /* cipher text */ var c1:=23 var p0:=45 /* plain text */ var p1:=56 in let var delta := 0x9e3779b9 var sum := delta << 5 var y := c0 var z := c1 in ( for n:= 1 to 32 do ( z:=z - (((y << 4) + k0()) ^ ( y + sum ) ^ ((y >> 5) + k1()) ); y:=y - (((z << 4) + k0()) ^ ( z + sum ) ^ ((z >> 5) + k1()) ); sum:= sum - delta ); c0:=y; c1:=z; (c0=p0)&&(c1=p1) ) end end