let global vi = VarDecl.define vi