Hashconsing_tbl