#include<iostream>
#include<vector>
using namespace std;

int main(){
	vector<int> *vec_ref = new vector<int>;
	vec_ref->push_back(100);

	// This line causes a segfault because of delete[] instead of delete
	delete [] vec_ref;
	return 0;
}