rdentato

    /* Quick and dirty PRNG (xorshift) */
    static uint32_t utl_rnd()
    {
      static uint32_t rnd = 0;
      while (rnd == 0) rnd = (uint32_t)time(0);
    	rnd ^= rnd << 13;
	    rnd ^= rnd >> 17;
    	rnd ^= rnd << 5;
	    return rnd;