Make state_name a parameter to state creation functions (to avoid repeating the name when actually constructing the state).