TEST_DONE
GUEST_SYNC(TEST_DONE);
case TEST_DONE:
while (mod_info->curr_state != TEST_DONE) {
signal_state(mod_info, TEST_DONE);
signal_state(mod_info, TEST_DONE);
signal_state(mod_info, TEST_DONE);