/* Specialized code needed to support construction and destruction of
file-scope objects in C++ and Java code, and to support exception handling.
/* Specialized code needed to support construction and destruction of
file-scope objects in C++ and Java code, and to support exception handling.