void excludes8(_Bool x1, _Bool x2, _Bool x3, _Bool x4,
               _Bool x5, _Bool x6, _Bool x7, _Bool x8,
               _Bool *excludes)
{
  *excludes =
    (!x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8) ||
    ( x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8) ||
    (!x1 &&  x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8) ||
    (!x1 && !x2 &&  x3 && !x4 && !x5 && !x6 && !x7 && !x8) ||
    (!x1 && !x2 && !x3 &&  x4 && !x5 && !x6 && !x7 && !x8) ||
    (!x1 && !x2 && !x3 && !x4 &&  x5 && !x6 && !x7 && !x8) ||
    (!x1 && !x2 && !x3 && !x4 && !x5 &&  x6 && !x7 && !x8) ||
    (!x1 && !x2 && !x3 && !x4 && !x5 && !x6 &&  x7 && !x8) ||
    (!x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && x8);
  //@ assert *excludes == 1;
  return;
}