return ((vWindow)a).TextWidth(b.mkString().toString());
return ((vWindow)a.Deref()).TextWidth(b.mkString().toString());
    public vDescriptor Call(vDescriptor a, vDescriptor b) {	if (!a.iswin()) {	    return Call(k$window.getWindow(), a);	}	return ((vWindow)a).TextWidth(b.mkString().toString());    }