extern int printf(const char *format, ...);
int main(void)
{
int a = 0, b = -1;
int i1 = a +++ ++ b;
printf("i1 = %d\n", i1);
return 0x1e -1;
}