sS concatTwoStrings_gen(O a, O b) {
  ret strUnnull(a) + strUnnull(b);
}