** returns the `main' position of an element in a table (that is, the index ** of its hash value) */
source not stored for this graph (policy: none)