global_interval
global_interval(cmd);
{ "interval", global_interval, "set update interval"},
{ "start", global_interval, "restart updating display"},
void global_interval(char *);