    checked           714 htags/common.c gen_input_radio(const char *name, const char *value, int checked, const char *title)
    checked           716 htags/common.c 	return gen_input_with_title_checked(name, value, "radio", checked, title);
    checked           730 htags/common.c gen_input_with_title_checked(const char *name, const char *value, const char *type, int checked, const char *title)
    checked           742 htags/common.c 	if (checked) {