/* Host/device compatibility: Itanium C++ ABI, DSO Object Destruction API */
/* Nothing needed here. */