mahasri's submissions for Virtual Functions destructor1