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 *);