static S yesNo_short(bool b) {
  ret b ? "yes" : "no";
}