src/tools/lint1