let
xaddr_of_var ma v =
Lvaddr
(ma, v)