fillit
fillit(stdout, timestamp_width -
fillit(stdout, timestamp_width, (int) '-');
fillit(stdout, 78 - timestamp_width -
fillit(stdout, timestamp_width -
fillit(stdout, timestamp_width -
void fillit (FILE *, unsigned int, int);