static int boolDiff(bool a, bool b) {
  ret a == b ? 0 : (a ? 1 : -1);
}