import std.stdio;

​

void main() @safe

{

    string foo = "foo";

    string* ls0;

    string* p1, p2;

​

    ls0 = &foo;

    p1 = ls0;

    ls0.destroy();

    p2 = ls0;

    writeln(p2.length);

}