let
cvar m vi =
VarDecl
.define vi ;
Tint
.xaddr_of_var (malloc_of_mem m) vi