15.3.5.2 Imported syntactic bindings: global variables

A syntactic binding representing an imported variable binding has descriptor with format:

(global . (?library . ?lex/loc))

where: ?library is the library object from which the binding is imported; ?lex/loc is the storage location gensym containing the variable’s value in its value field.