Annotating suspicious code.