we define DESTROY explicitly