elements are numbered from 0. */
extern HIST_ENTRY *remove_history PARAMS((int));
+/* Allocate a history entry consisting of STRING and TIMESTAMP and return
+ a pointer to it. */
+extern HIST_ENTRY *alloc_history_entry PARAMS((char *, char *));
+
+/* Copy the history entry H, but not the (opaque) data pointer */
+extern HIST_ENTRY *copy_history_entry PARAMS((HIST_ENTRY *));
+
/* Free the history entry H and return any application-specific data
associated with it. */
extern histdata_t free_history_entry PARAMS((HIST_ENTRY *));
extern int history_base;
extern int history_length;
extern int history_max_entries;
+extern int history_offset;
extern int history_lines_read_from_file;
extern int history_lines_written_to_file;