inc(x2, x1, x0) { if (x0) { x0-- inc1(x2, x1, x0) } else { x0++ done(x2, x1, x0) } } inc1(x2, x1, x0) { if (x1) { x1-- inc2(x2, x1, x0) } else { x1++ done(x2, x1, x0) } } inc2(x2, x1, x0) { if (x2) { x2-- done(x2, x1, x0) } else { x2++ done(x2, x1, x0) } } done(x2, x1, x0) { }