boolean is_local = fun.is_local();
res = res.cons(fun.info(ERT.am_type));
res = res.cons(fun.info(ERT.am_env));
res = res.cons(fun.info(ERT.am_arity));
res = res.cons(fun.info(ERT.am_name));
if (is_local) {
res = res.cons(fun.info(ERT.am_uniq));
res = res.cons(fun.info(ERT.am_index));
res = res.cons(fun.info(ERT.am_new_uniq));