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