It does not crash when I replace HASH_TABLE by DS_HASH_TABLE.

--
Eric Bezault