let get_marking n = (get_node_data n).mark