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: [].}

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