Function Hacl_Impl_SHA3_keccak 

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