Main.  Add destructors to some things