#include #include int main(void) { assert(1U > -1); return EXIT_SUCCESS; }