#undef NDEBUG #include #include #include #include #include #include #include #include #include int main(int ac, char **av) { (void)ac; /* Unused argument */ (void)av; /* Unused argument */ /* * No plans to fill it up: just checking whether it compiles or not. */ return 0; }