pub unsafe extern "C" fn Hacl_Hash_SHA3_squeeze(
s: *mut Hacl_Hash_SHA3_state_t,
dst: *mut u8,
l: u32,
) -> Hacl_Streaming_Types_error_code
pub unsafe extern "C" fn Hacl_Hash_SHA3_squeeze(
s: *mut Hacl_Hash_SHA3_state_t,
dst: *mut u8,
l: u32,
) -> Hacl_Streaming_Types_error_code