oops: xorshift128 called w/o args