docs: def add_mapping(agent, prefix, ip):
      """Adds a mapping with a contract.
      It has high latency but gives some kind of guarantee."""
      return _broadcast(agent, AddMappingManager, RecordType.record_A,
                        prefix, ip)