#include <iostream>
 #include <iomanip>
 using namespace std;
 
 #include "ccc_time.h"
 /**
    Print a time in the format h:mm:ss
    @param t the time to print
 */
 void print_time(Time t)
 {  cout << t.get_hours() << ":" << setw(2) << setfill('0') 
         << t.get_minutes() << ":" << setw(2) 
         << t.get_seconds() << setfill(' ');
 }
 
 int main()
 {  Time liftoff(7, 0, 15);
    Time now;
    cout << "Liftoff: ";
    print_time(liftoff);
    cout << "\n";
 
    cout << "Now: ";
    print_time(now);
    cout << "\n";
 
    return 0;
 }