A post-compilation annotation processor for diverse purposes