void SM_io_parser<Decorator_>::debug_vertex(SVertex_handle v) const
{
  out << index(v) << "[" << v->mark() << "," << v->point() << "]" << std::endl;
}
void SM_io_parser<Decorator_>::debug_vertex(SVertex_handle v) const
{
  out << index(v) << "[" << v->mark() << "," << v->point() << "]" << std::endl;
}