code: private static final int getInt32BE(byte[] buffer, final int pos) {
          return (buffer[pos] << 24) | ((0xff & buffer[pos + 1]) << 16) | ((0xff & buffer[pos + 2]) << 8)
                 | (0xff & buffer[pos + 3]);
      }
docs: Return 32-bit signed int from buffer. (big-endian)
  
  @see mysql-5.1.60/include/myisampack.h - mi_sint4korr