CT_DEAD
CT_DEAD(ct, PROCESS_FAILED);
CT_DEAD(ct, SETUP);
CT_DEAD(ct, WRITE);
CT_DEAD(ct, DEADLOCK);
CT_DEAD(ct, H2G_HAS_ROOM);
CT_DEAD(ct, READ);
CT_DEAD(ct, &ct->ctbs.h2g, H2G_WRITE);
CT_DEAD(ct, &ct->ctbs.h2g, DEADLOCK);
CT_DEAD(ct, NULL, CRASH);
CT_DEAD(ct, NULL, PARSE_G2H_RESPONSE);
CT_DEAD(ct, &ct->ctbs.g2h, PARSE_G2H_ORIGIN);
CT_DEAD(ct, &ct->ctbs.g2h, PARSE_G2H_TYPE);
CT_DEAD(ct, NULL, PROCESS_FAILED);
CT_DEAD(ct, &ct->ctbs.g2h, G2H_READ);
CT_DEAD(ct, NULL, FAST_G2H);
CT_DEAD(ct, NULL, G2H_RECV);
CT_DEAD(ct, NULL, SETUP);
CT_DEAD(ct, h2g, H2G_HAS_ROOM);
CT_DEAD(ct, &ct->ctbs.g2h, G2H_RELEASE);