/* dtor.c (emx+gcc) -- Copyright (c) 1993 by Eberhard Mattes */

extern int __DTOR_LIST__;
extern void __ctordtorTerm1 (int *ptr);

void __ctordtorTerm (void)
{
  __ctordtorTerm1 (&__DTOR_LIST__);
}