Double-indirection to allow UserTypeInfo.
Whoops, let's not leave in DEBUG_MEMORY_CORRUPTION
Support for GNUC __attribute__((cleanup)) instead of popping. Partial support for C++ destructors instead of popping, currently nonworking.