Test #4 State(0,0): next()
Test #4 State(1,0): SM(#4A)(0,0): next()
Test #4 State(1,0): SM(#4A)(1,0): goTo(3)
Test #4 State(1,0): SM(#4A)(3,0): next()
Test #4 State(1,0): SM(#4A)(4,0): nextState()
Test #4 State(2,0): goTo(4)
Test #4 State(4,0): SM(#4B)(0,0): next()
Test #4 State(4,0): SM(#4B)(1,0): callState(CALL_01)
Test #4 State(11,0): next()
Test #4 State(12,0): next()
Test #4 State(13,0): SM(#4C)(0,0): nextSubstate()
Test #4 State(13,0): SM(#4C)(0,1): callState(CALL_02,arg=13)
Test #4 State(22,0): next()
Test #4 State(23,0): rtn(arg=true)
Test #4 State(13,0): SM(#4C)(0,1): Returned from call; nextSubstate()
Test #4 State(13,0): SM(#4C)(0,2): nextState()
Test #4 State(14,0): next()
Test #4 State(15,0): rtn()
Test #4 State(4,0): SM(#4B)(1,0): Returned from call(); next()
Test #4 State(4,0): SM(#4B)(2,0): nextState()
Test #4 State(5,0): goTo(99)
Test #4 State(99,0): Finished;
