sS appendColonIfNempty(S s) {
  ret empty(s) ? "" : s + ": ";
}