let
vertex_name v = string_of_int (
N
.elem_id v)