Splint 3.1.2 --- 03 May 2009     
                                 
Finished checking --- no warnings