docs: def format_address(address):
      """Formats an ArgumentAddress for human reading."""
      if address.kind == ArgumentKind.regular:
          return address.name
  
      return "{0}[{1}]".format(address.name, address.key)