FIX: use XorShift random number generator