void tests_teardown(void) { ... } as above.