?iv:string -> ?ctr:int64 -> string -> Cryptokit.Stream.stream_cipher