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