proc dispatchGetVal(kad: KadDHT; peer: PeerId; key: Key): InternalRaisesFuture[
    Result[Message, string], (CancelledError,)] {....gcsafe, stackTrace: false,
    raises: [], gcsafe, tags: [RootEffect], forbids: [].}

proc getValue(kad: KadDHT; key: Key; quorumOverride: Opt[int] = Opt.none(int)): InternalRaisesFuture[
    Result[EntryRecord, string], (CancelledError,)] {....gcsafe, stackTrace: false,
    raises: [], gcsafe, tags: [RootEffect], forbids: [].}

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