let mk_aref  r m n opt_cv = 
    {p_root= r ; p_mem = m; p_off=[] ; p_arity=n ;
     p_type=object_array_of_root r ; p_cvar = opt_cv;}