Annotate for static analysis cleanness