8889909192939495969798
Nat N = make(n); Nat R = factory.makeNat_Fib(N); Nat res = null; while (res != R) { res = (Nat) replace.apply(R); R = res; } if (unmake(R) != r) { System.err.println("unexpected result of computation!");