pub unsafe extern "C" fn EverCrypt_CTR_create_in(
a: Spec_Agile_Cipher_cipher_alg,
dst: *mut *mut EverCrypt_CTR_state_s,
k: *mut u8,
iv: *mut u8,
iv_len: u32,
c: u32,
) -> EverCrypt_Error_error_codepub unsafe extern "C" fn EverCrypt_CTR_create_in(
a: Spec_Agile_Cipher_cipher_alg,
dst: *mut *mut EverCrypt_CTR_state_s,
k: *mut u8,
iv: *mut u8,
iv_len: u32,
c: u32,
) -> EverCrypt_Error_error_code