Alternative wrapper around OpenSSL's AES_ctr128_encrypt API