-record(global_instance, { type_ :: gwr@spec:global_type(), value :: gwr@spec:value() }).