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