static char *histfile;
static char **history;
static size_t histsz, histpos;
static void savehistory(char *input);