gen_input_with_title_checked  708 htags/common.c  */
gen_input_with_title_checked  716 htags/common.c  */
gen_input_with_title_checked  724 htags/common.c  */
gen_input_with_title_checked  126 htags/common.h const char *gen_input_with_title_checked(const char *, const char *, const char *, int, const char *);