Splint 3.1.2 --- 01 Dec 2016     
                                 
Finished checking --- no warnings