.
spin up casino code wfsm