let
cvar m vi =
VarDecl
.define vi ;
Tint
.xaddr_of_var (
F
.var m.valloc) vi