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