A copy of Dan's tagging-performance code