>>5 の例として、階乗(FACT)と最大公約数(GCD)

[LETREC, [@fact, 4],
　　[@fact, LAMBDA, [@x],
　　　　[IF, [LE, @x, 1],
　　　　　　1,
　　　　　　[MUL, @x, [@fact, [SUB, @x, 1]]]]]] ;

[LETREC, [@gcd, 16, 28],
　　[@gcd, LAMBDA, [@a, @b],
　　　　[IF, [EQ, @b, 0],
　　　　　　@a,
　　　　　　[@gcd, @b, [MOD, @a, @b]]]]]