** Integers use userdata as keys to avoid collision with floats with same ** value; conversion to 'void*' used only for hashing, no "precision" ** problems */
source not stored for this graph (policy: none)
no test coverage detected