static void teardown() { teardown_leak_detector(); trema_vasprintf = vasprintf; die = original_die; }
static void teardown() { finalize_log(); reset_LOGGING_LEVEL(); teardown_leak_detector(); die = original_die; trema_abort = abort; trema_vprintf = vprintf; trema_fprintf = fprintf; }