#include <vector>

int main() {
  std::vector<int> v;
  v.push_back(1);
  return 0;
} 


syntax highlighted by Code2HTML, v. 0.9.1