#include #include int main(void) { int x; x = 666; printf("%d %d\n", x, x++); return EXIT_SUCCESS; }