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