code: public int read4BE() throws OtpErlangDecodeException {
          final byte[] b = new byte[4];
          try {
              super.read(b);
          } catch (final IOException e) {
              throw new OtpErlangDecodeException("Cannot read from input stream");
          }
          return (b[0] << 24 & 0xff000000) + (b[1] << 16 & 0xff0000)
                  + (b[2] << 8 & 0xff00) + (b[3] & 0xff);
      }
docs: Read a four byte big endian integer from the stream.
  
  @return the bytes read, converted from big endian to an integer.
  
  @exception OtpErlangDecodeException
  if the next byte cannot be read.