src/tools/lint1
