static char *histfile;
static char **history;
static size_t histsz, histpos;