intmain(){charx=;printf(“%dn”，x=(x<<));return;}以上程序的输出结果是ABCD