sS concatTwoStrings(S a, S b) {
  ret unnull(a) + unnull(b);
}