Universal_one-way_hash_function loading ...