Function EverCrypt_AEAD_create_in 

pub unsafe extern "C" fn EverCrypt_AEAD_create_in(
    a: Spec_Agile_AEAD_alg,
    dst: *mut *mut EverCrypt_AEAD_state_s,
    k: *mut u8,
) -> EverCrypt_Error_error_code