State_transition_system loading ...