下面程序的输出结果是 【12】 。 char b[]="ABCD"； main() { char b[30]； strcpy(&b[0]，"GH")； strcpy(&b[1],"GH")； strcpy(&b[2]，"GH"); printf("%s\n",b) ; }

简述程序文件的编写要求。