>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes: Jan> I would prefer some "deinitialization" to give compile-time warning but at Jan> least one will no longer rely on stale pointer during development/debugging Jan> this way. It seems like this would be a good candidate for a static checker. Tom