vInteger where() {
public vInteger where() {
vInteger where() {						// where()    if (randfile == null) {	return null; /*FAIL*/    }    if (ibuf != null) {		// if read-only & buffered, we know position	return vInteger.New(1 + ifpos - icount);    }    try {	return vInteger.New(1 + randfile.getFilePointer() - icount);    } catch (IOException e) {	return null; /*FAIL*/    }}