private ZArray VisitArray(ZArray array)
{
if (array.IsDynamic)
WriteStart("array {0}[] ", array.Name.Name);
else
WriteStart("array {0}[{1}] ", array.Name.Name, array.Sizes[0]);
this.VisitTypeReference(array.ElementType);
WriteFinish(";");
return array;
}