Add xorshifter for Autobahn.