add State.RandInt