src/tools/lint1

.