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