Rendering constructors and destructors speced and made to actually work