#include using namespace std; int main() { allocator::pointer *p1 = (set, allocator >::pointer *) 0; }