// library.h
void show_pace(char str[], int seconds);