let cvar _m v =
      if v.vglob && (get_array_length v.vtype <> Nonethen Globals.define v;
      F.addr v (D.tau_of_ctype v.vtype)