2 calls to
NEXTSTATE
GETRANDOMINT
GETRANDOMINT