int main(void) { test_failing(); test_passing(); return 0; }
int main() { test_passing(); return 0; }