I'm thinking of allowing or even restricting placement new to accept values of type void[] for the underlying storage of the object. That allows bounds checking to make sure that the object fits. I even wonder whether certain uses of placement new would work in safe code. Andrei