int existsHistoryEntry(int pos);
extern char *getHistoryEntry(int pos);
extern void setHistoryEntry(int pos, char * entry);
extern void appendHistoryEntry(char * entry);