Checking FSM allocation Test_FSM(my_id){NULL}: Allocated Test_FSM(my_id){NULL}: Received Event 1 Test_FSM(my_id){NULL}: Event 1 not permitted Test_FSM(my_id){NULL}: Received Event 0 Test_FSM(my_id){NULL}: state_chg to ONE Test_FSM(my_id){ONE}: Received Event 1 Test_FSM(my_id){ONE}: state_chg to TWO Test_FSM(my_id){TWO}: Timeout of T2342 Timer