final void unreadByte() { byte_stream.unreadByte(); }
public final int getIndex() { return byte_stream.getPosition(); }