let
global vi =
VarDecl
.define vi