Internal routine to insert a new key into the table. Used by the public insert routine. Eats a reference to key. */
source not stored for this graph (policy: none)
no test coverage detected