docs: def address(obj):
      """Return object address as a string: '<classname @ address>'"""
      return "<%s @ %s>" % (obj.__class__.__name__,
                            hex(id(obj)).upper().replace('X', 'x'))