let
data_of_lvar v =
D1var
(
None
, v)