some_return_type operator+(Time a, Time b);
Time operator+(Time a, int sec) { Time r = a; r.add_seconds(sec); return r; }