while_break_while.out revision 1.1 1 before while
2 before dotcmd
3 before while
4 before break
5 after while
6 after dotcmd, return value: 0
7 before dotcmd
8 before while
9 before break
10 after while
11 after dotcmd, return value: 0
12 after while
13