enqueGlobalValue, enqueGlobalConstantExpr, retrieveGlobalValue, parseGlobalConstantExpr