/^\(DEF/	{ print $2 "	" FILENAME "	/^" $0 "$/" }
/^\(def/	{ print $2 "	" FILENAME "	/^" $0 "$/" }
