pub unsafe extern "C" fn Hacl_Hash_SHA3_keccak( rate: u32, capacity: u32, inputByteLen: u32, input: *mut u8, delimitedSuffix: u8, outputByteLen: u32, output: *mut u8, )