history_def_set
static int history_def_set(void *, TYPE(HistEvent) *, const int);
if (history_def_set(h, ev, num) != 0)
h->h_set = history_def_set;