static int addBools(bool... x) {
  int i = 0;
  for (bool b : unnull(x))
    if (b) ++i;
  ret i;
}