tatic.ptr</span> <span>&#45;&gt;</span> <span>unit Ctypes_static.ptr</span> <span>&#45;&gt;</span> Unsigned.size_t <span>&#45;&gt;</span> <span>unit Ctypes_static.ptr</span> <span>&#45;&gt;</span> Unsigned.size_t <span>&#45;&gt;</span> <span>unit Ctypes_static.ptr</span> <span>&#45;&gt;</span> Unsigned.size_t <span>&#45;&gt;</span> Unsigned.size_t</code></dt><dd><p><code>encrypt sess plaintext plaintext_len random random_len msg msg_len</code></p><p>Encrypts a message using the session. Returns the length o