sS ifEmpty(S s, S b) {
  ret empty(s) ? b : s;
}