Leftover_hash_lemma loading ...