atom = (JSAtom *)he; atom->flags &= ~ATOM_PINNED;
vector[ALE_INDEX(ale)] = ALE_ATOM(ale);
JS_STATIC_DLL_CALLBACK(intN)js_atom_unpinner(JSHashEntry *he, intN i, void *arg){    JSAtom *atom;    atom = (JSAtom *)he;    atom->flags &= ~ATOM_PINNED;    return HT_ENUMERATE_NEXT;}