sbool bothEmpty(S a, S b) {
  ret empty(a) && empty(b);
}