src/tools/lint2