let global v = Globals.define v