* read.c, read.h (history-length, history-file): New read options.