code: public static void writeU4(OutputStream dest, int u4) throws IOException {
          dest.write((byte) (u4 >> 24));
          dest.write((byte) (u4 >> 16));
          dest.write((byte) (u4 >>  8));
          dest.write((byte) u4);
      }
docs: int c  simplifies checking, casting