static int zeroOne(bool b) {
  ret b ? 1 : 0;
}