src/tools/lint2

.