sS discord_prependGlobalID(HasGlobalID x) {
  ret x == null ? "" : "`[" + x.globalID + "]` ";
}