    gen_input_with_title_checked  708 htags/common.c 	return gen_input_with_title_checked(name, value, type, 0, NULL);
    gen_input_with_title_checked  716 htags/common.c 	return gen_input_with_title_checked(name, value, "radio", checked, title);
    gen_input_with_title_checked  724 htags/common.c 	return gen_input_with_title_checked(name, value, "checkbox", 0, title);
    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 *);