Hash_consing loading ...