ED_MAX_LINE_LEN
char line[ED_MAX_LINE_LEN];
while (fgets(line, ED_MAX_LINE_LEN, f)) { /* read commands */