 
                            ...
| Wiki Markup | 
|---|
| \[[Coverity 07|AA. C References#Coverity 07]\] Coverity Prevent User's Manual (3.3.0) (2007). \[[MISRA 04|AA. C References#MISRA 04]\] Rule 14.1, and Rule 14.2 | 
...
MSC11-A. Incorporate diagnostic tests using assertions 14. Miscellaneous (MSC) MSC13-A. Detect and remove unused values