#include <vector>

extern "C" void main()
{
    std::vector<int> someInts;
    someInts.resize(100);
}