Experiment with hash consing