The XORSHIFT random number generator