///|
using @quickcheck {trait Arbitrary}

///|
using @splitmix {type RandomState}