public byte[] UTF8Encode(byte[] b, int offset) {
public final byte[] UTF8Encode(byte[] b, int offset) {
	public byte[] UTF8Encode(byte[] b, int offset) {		return UTF8.encode(value_, start_, length_, b, offset);	}