import edu.neu.ccs.demeter.*;
class Vertex
{
	public Ident name;

	public Vertex(Ident name)
	{
		this.name = name;
	}
}