01: #include <iostream>
02: #include <iomanip>
03: 
04: using namespace std;
05: 
06: #include "ccc_time.cpp"
07: 
08: /**
09:    Print a time in the format h:mm:ss
10:    @param t the time to print
11: */
12: void print_time(Time t)
13: {  
14:    cout << t.get_hours() << ":";
15:    if (t.get_minutes() < 10) cout << "0";
16:    cout << t.get_minutes() << ":";
17:    if (t.get_seconds() < 10) cout << "0";
18:    cout << t.get_seconds();
19: }
20: 
21: int main()
22: {  
23:    Time liftoff(7, 0, 15);
24:    Time now;
25:    cout << "Liftoff: ";
26:    print_time(liftoff);
27:    cout << "\n";
28: 
29:    cout << "Now: ";
30:    print_time(now);
31:    cout << "\n";
32: 
33:    return 0;
34: }