1 calls to
NEXTSTATE
GETRANDOMINT