Some C analysis tool output.