%{
#include <string.h>
%}
%%
^------.*\n { }
^[^ ]+\ .*\n {
		char *c = yytext;
		char *d, *e;
		if ((d = strchr(c,'_'))) *d = 0;
		if ((d = strchr(c,' '))) *d = 0;
		e = strrchr(c,'/');
		if (e) {
			c = e + 1;
			printf("%s\n",c);
		}
}
^\n {}
^.*\n {
	fprintf(stderr,"unrecognized '%s'\n",yytext);
}