hacl_sys::poly1305
pub unsafe extern "C" fn Hacl_Poly1305_64_update_block( st: Hacl_Impl_Poly1305_64_State_poly1305_state, m: *mut u8)