class TestCase::Destructor {
  has x : int;
  has y : int;
  
  static method new : TestCase::Destructor () {
    return new TestCase::Destructor;
  }

  method DESTROY : void () {
    print("DESTROY\n");
  }
}