8990919293949596979899
} res = res.cons(fun.info(ERT.am_module)); if (is_local) { res = res.cons(fun.info(ERT.am_pid)); } return res; }