、下面程序的输出是( ).main() { int k=13; printf(“k=%d,k=%o,k=%x\n”,k,