proc addPeer(state: ExtensionsState; peerId: PeerId) {....raises: [], tags: [],
    forbids: [].}

proc handleRPC(state: ExtensionsState; peerId: PeerId; rpc: RPCMsg) {.
    ...raises: [], tags: [RootEffect], forbids: [].}

proc heartbeat(state: ExtensionsState) {....raises: [], tags: [], forbids: [].}

proc isControlSent(state: ExtensionsState; peerId: PeerId): bool {....raises: [],
    tags: [], forbids: [].}

proc makeControlExtensions(state: ExtensionsState): ControlExtensions {.
    ...raises: [], tags: [], forbids: [].}

proc new(T: typedesc[ExtensionsState]; rng: Rng; updatePeerBehaviorPenalty: UpdatePeerBehaviorPenaltyProc = noopBehaviorPenaltyProc;
    testExtensionConfig: Opt[TestExtensionConfig] = Opt.none(TestExtensionConfig);
    partialMessageExtensionConfig: Opt[PartialMessageExtensionConfig] = Opt.none(
    PartialMessageExtensionConfig); pingpongExtensionConfig: Opt[
    PingPongExtensionConfig] = Opt.none(PingPongExtensionConfig);
    preambleExtensionConfig: Opt[PreambleExtensionConfig] = Opt.none(
    PreambleExtensionConfig); externalExtensions: seq[Extension] = @[]): T:type

proc noopBehaviorPenaltyProc(_: PeerId; _: float64) {....gcsafe, raises: [],
    tags: [], forbids: [].}

proc peerRequestsPartial(state: ExtensionsState; peerId: PeerId; topic: string): bool {.
    ...raises: [], tags: [], forbids: [].}

proc preambleBroadcast(state: ExtensionsState; msg: RPCMsg; peers: seq[PeerId]) {.
    ...raises: [], tags: [RootEffect], forbids: [].}

proc preambleBroadcastIfNotReceiving(state: ExtensionsState; msg: RPCMsg;
                                     peers: seq[PeerId]) {....raises: [],
    tags: [RootEffect], forbids: [].}

proc preambleHandleIHave(state: ExtensionsState; peerId: PeerId;
                         msgId: MessageId): bool {....raises: [], tags: [],
    forbids: [].}

proc preambleMsgReceived(state: ExtensionsState; peerId: PeerId;
                         msgId: MessageId; msgLen: int) {....raises: [], tags: [],
    forbids: [].}

proc publishPartial(state: ExtensionsState; topic: string; pm: PartialMessage;
                    peers: seq[PeerId] = @[]): int {....raises: [],
    tags: [RootEffect, WriteIOEffect], forbids: [].}

proc removePeer(state: ExtensionsState; peerId: PeerId) {....raises: [], tags: [],
    forbids: [].}