Function DummyDestructor.destruct

auto void destruct (
  MockObject obj,
  bool* destroyed
);