vString reads(vWindow win, long n) {
public vString reads(vWindow win, long n) {
vString reads(vWindow win, long n) {    StringBuffer b = new StringBuffer((int) n);    iKeyword.output.file().flush();    win.flush();    while (b.length() < n) {			// until buffer is full	rchar(win, b);				// read character into b    }    return vString.New(b.toString());		// return string}