docs: public static void writeObjectId(ObjectId id, byte[] b) {
        int time = id.getTime();
        int machine = id.getMachine();
        int process = id.getProcess();
        int inc = id.getInc();
        b[0] = (byte) ((time >>> 24) & 0xFF);
        b[1] = (byte) ((time >>> 16) & 0xFF);
        b[2] = (byte) ((time >>> 8) & 0xFF);
        b[3] = (byte) ((time >>> 0) & 0xFF);
        b[4] = (byte) ((machine >>> 16) & 0xFF);
        b[5] = (byte) ((machine >>> 8) & 0xFF);
        b[6] = (byte) ((machine >>> 0) & 0xFF);
        b[7] = (byte) ((process >>> 8) & 0xFF);
        b[8] = (byte) ((process >>> 0) & 0xFF);
        b[9] = (byte) ((inc >>> 16) & 0xFF);
        b[10] = (byte) ((inc >>> 8) & 0xFF);
        b[11] = (byte) ((inc >>> 0) & 0xFF);
     }