let
plet_expansion p =
expp
Vmap
.empty (ref 0) p