proc new(T: type SecureConn; conn: Connection; peerId: PeerId;
         observedAddr: Opt[MultiAddress]; localAddr: Opt[MultiAddress];
         timeout: Duration = DefaultConnectionTimeout): T:type {....gcsafe,
    raises: [].}

func shortLog(conn: SecureConn): auto {....gcsafe, raises: [], tags: [],
                                        forbids: [].}

method closeImpl(s: SecureConn): InternalRaisesFuture[void, void] {.
    ...stackTrace: false, raises: [], gcsafe, gcsafe, raises: [],
    tags: [RootEffect], forbids: [].}

method getWrapped(s: SecureConn): Connection {....gcsafe, raises: [], tags: [],
    forbids: [].}

method handshake(s: Secure; conn: Connection; initiator: bool;
                 peerId: Opt[PeerId]): InternalRaisesFuture[SecureConn,
    (CancelledError, LPStreamError)] {.base, ...stackTrace: false, raises: [],
                                       gcsafe, gcsafe, raises: [], tags: [],
                                       forbids: [].}

method init(s: Secure) {....gcsafe, raises: [], tags: [], forbids: [].}

method initStream(s: SecureConn) {....gcsafe, raises: [],
                                   tags: [TimeEffect, RootEffect], forbids: [].}

method readMessage(c: SecureConn): InternalRaisesFuture[seq[byte],
    (CancelledError, LPStreamError)] {.base, ...stackTrace: false, raises: [],
                                       gcsafe, gcsafe, raises: [], tags: [],
                                       forbids: [].}

method readOnce(s: SecureConn; pbytes: pointer; nbytes: int): InternalRaisesFuture[
    int, (CancelledError, LPStreamError)] {....stackTrace: false, raises: [],
    gcsafe, gcsafe, raises: [], tags: [RootEffect], forbids: [].}

method secure(s: Secure; conn: Connection; peerId: Opt[PeerId]): InternalRaisesFuture[
    Connection, (CancelledError, LPStreamError)] {.base, ...stackTrace: false,
    raises: [], gcsafe, gcsafe, raises: [], tags: [RootEffect], forbids: [].}

template formatItIMPL(it: SecureConn): auto {..}