WAIT_FOR
WAIT_FOR(TREQ_asserted(in_8(&via[B])), "CUDA response to sync");
WAIT_FOR(in_8(&via[IFR]) & SR_INT, "CUDA response to sync (2)");
WAIT_FOR(!TREQ_asserted(in_8(&via[B])), "CUDA response to sync (3)");
WAIT_FOR(in_8(&via[IFR]) & SR_INT, "CUDA response to sync (4)");