Function Hacl_Impl_SHA3_squeeze 

pub unsafe extern "C" fn Hacl_Impl_SHA3_squeeze(
    s: *mut u64,
    rateInBytes: u32,
    outputByteLen: u32,
    output: *mut u8,
)