** returns the index for `key' if `key' is an appropriate key to live in ** the array part of the table, -1 otherwise. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected