sS discord_memberIDToEffectiveName(Guild guild, long userID) {
  Member member = guild.getMemberById(userID);
  ret member == null ? null : member.getEffectiveName();
}