pub unsafe extern "C" fn Hacl_Blake2s_32_blake2s_update_key( wv: *mut u32, hash: *mut u32, kk: u32, k: *mut u8, ll: u32 )