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