let
mk_lvar v = access (v.lv_type) (mk_lvar_addr v)