Does lint_file have side effects?