proc handlePing(kad: KadDHT; stream: Stream; msg: Message): InternalRaisesFuture[
    void, (CancelledError,)] {....stackTrace: false, raises: [], gcsafe,
                               tags: [RootEffect], forbids: [].}

proc ping(kad: KadDHT; peerId: PeerId; addrs: seq[MultiAddress]): InternalRaisesFuture[
    bool, (CancelledError, DialFailedError, ValueError, LPStreamError)] {.
    ...stackTrace: false, raises: [], gcsafe, tags: [RootEffect], forbids: [].}