let cvar _m vi =
    if vi.vglob then global vi ;
    Addr (F.Xindex.get_ind vi,F.i_zero )