// C++23：import std; 替代一长串 #include <...>。
import std;

int main() {
    std::vector<int> v{1, 2, 3};
    std::cout << v.size() << '\n';
}