Annotations and processors for tagging questionable code and tracking TODOs in a compiler-detectable way.