ddt_exit
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
extern void ddt_exit(ddt_t *ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);
ddt_exit(ddt);