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