MSG_TERMINATED
CHK(context.CheckNextMessage(caller1, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller2, team2, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller3, team3, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller4, team4, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller1, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller2, team2, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller3, team3, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller4, team4, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller1, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller2, team2, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller3, team3, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller4, team4, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller2, team2, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller2, team2, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller2, team2, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller, team1, cookie, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller2, team2, cookie, MSG_TERMINATED));
case MSG_TERMINATED:
WaitForMessage(team, MSG_TERMINATED);
CHK(context.CheckNextMessage(caller1, team1, cookie1, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller2, team2, cookie2, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller3, team3, cookie3, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller4, team4, cookie4, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller1, team1, cookie1, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller2, team2, cookie2, MSG_TERMINATED));
CHK(context.CheckNextMessage(caller3, team3, cookie3, MSG_TERMINATED));
unitTesterMessenger.SendMessage(MSG_TERMINATED);
unitTesterMessenger.SendMessage(MSG_TERMINATED);
unitTesterMessenger.SendMessage(MSG_TERMINATED);