[Boost-users] memory used by vector<int> vs vector<char>