anchor_unload      70 htags/anchor.h void anchor_unload(void);
anchor_unload    1025 htags/src2html.c 		anchor_unload();