let rec iter_rec f n = for i = 0 to n_children n - 1 do f (n >>> child i) ; iter_rec f (n >>> child i) done