let
get_id n = (get_node_data n).id