Proposal: Add getStdGenState and stdGenFromState