void do_interval(char *name, char *val) { interval = get_posval(name, val); }
void do_linelength(char *name, char *val) { linelen = get_posval(name, val); }
void do_interval(char *name, char *val) { interval.tv_sec = get_posval(name, val); interval.tv_usec = 0; }