history_top

Undocumented in source.
int history_top;

Meta