Function EverCrypt_AEAD_alg_of_state 

pub unsafe extern "C" fn EverCrypt_AEAD_alg_of_state(
    s: *mut EverCrypt_AEAD_state_s,
) -> Spec_Agile_AEAD_alg