Checking FSM allocation
[0;mTest FSM{NULL}: Allocated
[0;mTest FSM{NULL}: Received Event 1
[0;mTest FSM{NULL}: Event 1 not permitted
[0;mTest FSM{NULL}: Received Event 0
[0;mTest FSM{NULL}: state_chg to ONE
[0;mTest FSM{ONE}: Received Event 1
[0;mTest FSM{ONE}: state_chg to TWO
[0;mTest FSM{TWO}: Timeout of T2342
[0;mTimer
[0;m