$ f(x) @x+2 $ g(x) @x+3 :a = &f :b = &g 3: {f(1)} 3: {a(1)} 5: {g(2)} 4: {a(2)} 4: {b(1)} 5: {f(3)} 13: {b(10)} 7: {a(5)} 8: {g(5)}