c'è una libreria standard che gestisce il tempo ?

del tipo :

ore:minuti:secondi

se si mi potete indicare il nome del header file

grazie