Splint 3.1.2 --- 20 Feb 2018     
                                 
Finished checking --- no warnings