SYNC_SECOND_UCNA
GUEST_SYNC(SYNC_SECOND_UCNA);
TEST_ASSERT(uc.args[1] == SYNC_SECOND_UCNA, "Injecting second UCNA.");