执行printf("%d\n",(int)3.1416);后输出结果是()。