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