What is the displayed result for RandomStateType?