1 2 3 4 5 6 7 8 9 10
int main (void) { unsigned char out[][1] = { {71}, {71}, {71} }; for (int i = 0; i < 3; i++) if (!out[i][0]) __builtin_abort (); return 0; }