let
global v =
Globals
.define v