private void markFaceVertices(Face face, int mark)
{
HalfEdge he0 = face.getFirstEdge();
HalfEdge he = he0;
do
{
he.head().index = mark;
he = he.next;
}while (he != he0);
}