有以下程序intfun(chara[]，charb[]){inti=，j=;while(a[i++]);while(a[i++]=b[j++]);}main(){chars[]=”book”，t[]=”English”;fun(s，t);printf(“%s”，s);}程序运行后的输出结果是