Checking C Programs With Lint