byte[] bytes;
public final void writeInt(int v) {
int newByteIndex = byteIndex + 4;
if (newByteIndex > bytes.length) {
bytes = Arrays.copyOf(bytes, Math.max(bytes.length << 1, newByteIndex));
}
bytes[byteIndex++] = (byte) ((v >>> 24) & 0xFF);
bytes[byteIndex++] = (byte) ((v >>> 16) & 0xFF);
bytes[byteIndex++] = (byte) ((v >>> 8) & 0xFF);
bytes[byteIndex++] = (byte) ((v) & 0xFF);
}