history_def_next
static int history_def_next(void *, TYPE(HistEvent) *);
h->h_next = history_def_next;
if (h->h_next == history_def_next)
if (h->h_next != history_def_next) {
if (h->h_next != history_def_next) {
if (h->h_next != history_def_next) {
if (h->h_next != history_def_next) {
if (h->h_next != history_def_next) {
h->h_next = history_def_next;
if (h->h_next == history_def_next)