                      output_dir,
                      '{:05d}{}'.format(i, os.path.splitext(src_basename)[1]))
                  changes[src] = dst
                  return __src, dst
  
              return renaming
  
          else:
              def renaming(src, output_dir, i, changes):
                  src_basename = os.path.basename(src)
  
                  src = os.path.join(output_dir,
 
</s> remove 
            return renaming
 </s> add         return renaming </s> remove                 return process_file
 </s> add 
                      output_dir,
                      '{:05d}{}'.format(i, os.path.splitext(src_basename)[1]))
                  changes[src] = dst
                  return __src, dst



          else:
              def renaming(src, output_dir, i, changes):
                  src_basename = os.path.basename(src)
  
                  src = os.path.join(output_dir,
keep keep keep keep replace replace replace keep keep keep keep keep
 Sort tool bugfixes and linting 
tools/sort.py