这段程序会输出什么？

#include <iostream>

class Counter {
public:
    explicit Counter(int value) : value_(value) {}
    void increment() { ++value_; }
    int value() const { return value_; }
private:
    int value_;
};

int main() {
    Counter original{3};
    Counter copy = original;
    copy.increment();
    std::cout << original.value() << ' ' << copy.value() << '\n';
}