/* Code for creating and querying the static pointer table. */
window.__hs_spt = [];
function __spt_insert(ptr) {
ptr = E(B(ptr));
var ks = [ (ptr.a.a.low>>>0).toString(16)
, (ptr.a.a.high>>>0).toString(16)
, (ptr.a.b.low>>>0).toString(16)
, (ptr.a.b.high>>>0).toString(16)
]
var key = ks.join();
window.__hs_spt[key] = ptr;
}
function hs_spt_lookup(k) {
var ks = [ k['v']['w32'][0].toString(16)
, k['v']['w32'][1].toString(16)
, k['v']['w32'][2].toString(16)
, k['v']['w32'][3].toString(16)
]
var key = ks.join();
return window.__hs_spt[key];
}