public class Nany_vertex_list extends Any_vertex_list
{
	public Any_vertex first;
	public Any_vertex_list rest;
	public Nany_vertex_list(Any_vertex first, Any_vertex_list rest)
	{
		this.first = first;
		this.rest = rest;
	}
}