Hi! Can anybody tell me what output the following program snippet should produce according to C standard: int main(void) { int a; int b; b = 3; a = ++b + ++b; printf("%d\n",a); return 0; } I would have expected 9, but gcc 4.1.2 produced a binary that wrote 10. Willi Please CC: me in replys, I'm not on the list.