static void writeInt(OutputStream os, int n) throws IOException {
    os.write((n >> 0) & 0xff);
    os.write((n >> 8) & 0xff);
    os.write((n >> 16) & 0xff);
    os.write((n >> 24) & 0xff);
}


static void writeLong(OutputStream os, long n) throws IOException {
    os.write((byte)(n >>> 0));
    os.write((byte)(n >>> 8));
    os.write((byte)(n >>> 16));
    os.write((byte)(n >>> 24));
    os.write((byte)(n >>> 32));
    os.write((byte)(n >>> 40));
    os.write((byte)(n >>> 48));
    os.write((byte)(n >>> 56));
}