Splint 3.1.2 --- 04 Sep 2016     
                                 
Finished checking --- no warnings