byte[] b = new byte[len+2];
System.arraycopy(r, pos, b, 0, len);
b[b.length-1] = (byte)0xFF; // Was 127
b[b.length-2] = 0;
Value v1 = new Value(b, 0, b.length-1);
Value v2 = new Value(b, 0, b.length-2);
Value v3 = new Value(b, 0, b.length);
vals = new Value[]{v1, v2, v3};
}