sS gazelle_formatForUser(S s) {
  ret tok_dropCurlyBrackets(s);
}