pub unsafe extern "C" fn Hacl_Hash_SHA3_absorb_inner( rateInBytes: u32, block: *mut u8, s: *mut u64, )