class TestCase::Destructor {
has x : int;
has y : int;
static method new : TestCase::Destructor () {
return new TestCase::Destructor;
}
method DESTROY : void () {
print("DESTROY\n");
}
}