int label = in.read4BE();
int index = in.read4BE();
int free_vars = in.read4BE();
int old_uniq = in.read4BE();
EAtom fun = atom(fun_atom_nr);
anonymousFuns[i] = new AnonFun(mod, fun, arity, label,
old_uniq, i, module_md5, index, free_vars);
if (log.isLoggable(Level.FINE) && atoms != null) {
log.fine("- #"+(i+1)+": "+fun+"/"+arity+" @ "+label);
log.fine("--> occur:"+index+" free:"+free_vars+" $ "+old_uniq);