let subst_lval frame obj loc v p = match loc with | Mloc l -> M.subst_lval frame.mframe obj l (mvalue_of_value v) p | Path ph -> store frame.fframe ph v p