code: function genrand_int32(mt) {
      /* mt must be initialized */
      var y;
  
      if (--mt.left <= 0) next_state(mt);
      y = mt.state[mt.next++];
  
      /* Tempering */
      y ^= (y >>> 11);
      y ^= (y << 7) & 0x9d2c5680;
      y ^= (y << 15) & 0xefc60000;
      y ^= (y >>> 18);
  
      return y >>> 0;
    }
docs: /* generates a random number on [0,0xffffffff]-interval