Make sure object destructors are called as the first thing in the
VCL::fini cleanup
ifdef int x declaration to fix build failure