/* See the "Run-time ABI for the ARM Architecture", Section 4.4.5 */
  
  int __cxa_atexit(void (* dtor)(void * this), void * object, void * handle);
  
  int  __aeabi_atexit(void * object, void (*destroyer)(void *), void * dso_handle) {
    return __cxa_atexit(destroyer, object, dso_handle);
  }