class Object native { /*virtual*/ native void Destroy(); } class Thinker : Object native { }