val reqs : AutoConfig2.feature listval encrypt : C.buf -> C.buf -> Unsigned.uint32 -> C.buf -> Unsigned.uint32 -> C.buf -> C.buf -> C.buf -> unitval decrypt : C.buf -> C.buf -> Unsigned.uint32 -> C.buf -> Unsigned.uint32 -> C.buf -> C.buf -> C.buf -> Unsigned.uint32