public String readString() throws IOException {
			int offs = getPosition();
			ArrayPos pos = new ArrayPos(buf, offs);
			String str = Bytes.unpackString(pos, encoding);
			in.skip(pos.offs - offs);
			return str;
		}