Modernise and clean up some C++ code.
std::vector numbers; numbers.push_back(1337); numbers.push_back(424242); numbers.push_back(12345678); numbers.push_back(3141);
auto numbers = { 1337, 424242, 12345678, 3141 };