Name of the definterface-hash table.
Definition: *definterface-hash-table-name*
(defconst *definterface-hash-table-name* 'definterface-hash-table)