docs: def username(elk, user_number):
      """Return name of user."""
      if user_number >= 0 and user_number < elk.users.max_elements:
          return elk.users[user_number].name
      if user_number == 201:
          return "*Program*"
      if user_number == 202:
          return "*Elk RP*"
      if user_number == 203:
          return "*Quick arm*"
      return ""