What is the output of: #include <stdio.h> int main() { int x = 5; printf("%d", ++x + x++); return 0; }