Extvalues: module {
	PATH: con "/dis/alphabet/extvalues.dis";
	Values: adt[V] {
		lock: chan of int;
		v: array of (int, V);
		freeids: list of int;
		new: fn(): ref Values[V];
		add: fn(vals: self ref Values, v: V): int;
		inc: fn(vals: self ref Values, id: int);
		del: fn(vals: self ref Values, id: int);
	};
};