Code STD_FSM and prepare the test fixture