/* testing */ void check(const char *name, int condition); /* in main.c */ void run_tests(void);