public final void writeInt(int v)

    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);
    }