__LIBC_HIDDEN__ void __libc_postfini() {
  // A hook for the debug malloc library to let it know that we're shutting down.
  malloc_debug_fini();
}
void __libc_postfini(void)
{
    extern void malloc_debug_fini(void);
    malloc_debug_fini();
}