设int x=2;,执行语句printf("%d",x++);后输出结果是______。