Proper initialization semantics for raw memory