Hello, Is there a way to suppress a specific type of warning for a block of code? /*@i<n>@*/ looks like a solution, but it's still not a perfect way; is there any other means to do this? "Appendix C -> Annotations -> Suppressing warnings" only contains i, i<n>, t and t<n>. Thanks in advance, Egor.