    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: }