splint -warnposix *.c *.h >>../debug/splint.log
