let mk_path r m = 
    { p_root= r ; p_mem = m ; p_off=[] ; 
      p_arity=0 ; p_type=object_of_root r ; p_cvar = None ; }