vString read() {
public vString read() {
vString read() {						// read()    if (instream == null) {	iRuntime.error(212, this);	// not open for reading    }    vByteBuffer b = new vByteBuffer(100);    char c = '\0';    try {	if (lastCharRead == '\r') {	    if ((c = this.rchar()) != '\n') {		b.append(c);	    }	}	while ((c = this.rchar()) != '\n' && c != '\r') {	    b.append(c);	}    } catch (EOFException e) {	if (b.length() == 0)	    return null; /*FAIL*/    } catch (IOException e) {	iRuntime.error(214, this);	// I/O error	return null;    }    lastCharRead = c;    return b.mkString();}