proc decrypt(_: type[ChaChaPoly]; key: ChaChaPolyKey; nonce: ChaChaPolyNonce;
             tag: var ChaChaPolyTag; data: var openArray[byte];
             aad: openArray[byte]) {....raises: [].}

proc encrypt(_: type[ChaChaPoly]; key: ChaChaPolyKey; nonce: ChaChaPolyNonce;
             tag: var ChaChaPolyTag; data: var openArray[byte];
             aad: openArray[byte]) {....raises: [].}

proc intoChaChaPolyKey(s: openArray[byte]): ChaChaPolyKey {....raises: [],
    tags: [], forbids: [].}

proc intoChaChaPolyNonce(s: openArray[byte]): ChaChaPolyNonce {....raises: [],
    tags: [], forbids: [].}

proc intoChaChaPolyTag(s: openArray[byte]): ChaChaPolyTag {....raises: [],
    tags: [], forbids: [].}