let rec term_load m = function
| L0addr v -> F.var (get_var ~create:true m v)
| L0depl (loc, Pfield f) -> field_access (term_load m loc) f
| L0depl (loc, Pidx i) -> D.acc_index (F.unwrap (term_load m loc)) i
| (L0ptr _ | L0shift _) as loc ->
unsupported "indirect access to %a" pp_loc loc