pub unsafe extern "C" fn Hacl_Blake2s_32_blake2s_malloc() -> *mut u32