#include extern void safe_tests(Tester *tester);