anchor_unload      68 htags/anchor.h void anchor_unload(void);
anchor_unload     879 htags/src2html.c 		anchor_unload();