let mloc_of_path p =
debug "[mloc_of_path] %a" pp_path p;
List.fold_left
(fun loc offset ->
match offset with
| Ofield f -> M.field loc f
| Oindex(k,te) -> M.index loc te k
) (mcvar p.p_mem p.p_root p.p_cvar) p.p_off