static S yesNo(bool b) {
  ret yesno(b);
}

static S yesNo(Bool b) {
  ret yesno(b);
}