readable_form
fputs(readable_form(i), file);
readable_form(i - 1));
fputs(readable_form(i), file);
readable_form(i - 1));
extern char *readable_form PROTO ((int));
readable_form(i), ecgroup[i]);
readable_form(c));
readable_form(c));