sS appendWithColon(S s) {
  ret appendColonIfNempty(s);
}