code: function UniArrayToBE32(arr) {
      var res = new Array(4*arr.length);
      for (var ix=0; ix<arr.length; ix++) {
          var val = arr[ix];
          res[4*ix]   = (val >> 24) & 0xFF;
          res[4*ix+1] = (val >> 16) & 0xFF;
          res[4*ix+2] = (val >> 8) & 0xFF;
          res[4*ix+3] = (val) & 0xFF;
      }
      return res;
  }
docs: /* Convert an array of 32-bit Unicode values to an array of 8-bit byte
  values, encoded as big-endian words.