(or, patrick always called it a compiler plugin. haven't looked deeply.)