diffcore_pickaxe 4871 diff.c         		diffcore_pickaxe(options);
diffcore_pickaxe  113 diffcore.h     extern void diffcore_pickaxe(struct diff_options *);