let
print_tree_node = print_node