运行下列程序，输出结果为（）。 #include <stdio.h> int main（） { printf("%d\n",12>>2); return 0; }