splint preprocessor removed for checksyntax