// This file produces an error message that might take some
// time to decipher.

#include <vector>

using namespace std;

int main() {
    vector<int> x;
    x.pushback(3);	// Well, this used to be difficult.
}