let gstartof (ty,g) = let te = Cil.typeOf_array_elem ty in let ta = object_of te in data_startof ta (kind_of_typ ty) g