TC
/* 0*/ { 7, 7, { TL, TC, MR, } },
/* 1*/ { 1, 8, { TC, TR, ML, } },
/* 3*/ { 3, 3, { TL, TC, ML, } },
/* 7*/ { 7, 0, { TC, ML, BL, } },
/* 8*/ { 1, 1, { TC, MR, BR, } },
/* 9*/ { 2, 10, { TC, MR, BC, } },
/*10*/ { 2, 11, { TC, ML, MR, } },
/*11*/ { 2, 2, { TC, ML, BC, } },
/*12*/ { 4, 13, { TC, BC, BR, } },
/*14*/ { 4, 4, { TL, TC, BC, } },
/*15*/ { 5, 16, { TR, TC, BC, } },
/*17*/ { 5, 5, { TC, BC, BL, } },
/*18*/ { 6, 6, { TC, BC, 2*B_COLS } } /* sticks out */
TC[me] = C_local;
ATF_REQUIRE_MSG(C == TC[0] + TC[1],
C, TC[0], TC[1], TC[0] + TC[1] - C);
uint64_t TC[2];
TC[me] = C_local;
ATF_CHECK_MSG(C[i].v == TC[0] + TC[1], "%d: "
i, C[i].v, TC[0], TC[1], TC[0] + TC[1] - C[i].v);
uint64_t TC[2];