From 501ba912c201f6a40baca0e1da3ca2c71e24d186 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Mon, 31 Aug 2015 09:59:33 -0600
Subject: [PATCH] Implement {delay,now,at}{,_mu} and
 {mu,seconds}_to_{seconds,mu}.

---
 artiq/compiler/builtins.py                    |  24 ++++++
 artiq/compiler/module.py                      |   5 +-
 artiq/compiler/prelude.py                     |  17 +++++
 artiq/compiler/testbench/jit.py               |   6 +-
 .../compiler/transforms/artiq_ir_generator.py |  36 ++++++++-
 artiq/compiler/transforms/inferencer.py       |  35 +++++++++
 .../compiler/transforms/llvm_ir_generator.py  |  32 ++++++--
 artiq/coredevice/core.py                      |   2 +-
 artiq/py2llvm_old/transforms/lower_time.py    |  64 ----------------
 artiq/py2llvm_old/transforms/quantize_time.py |  70 ------------------
 .../Makefile                                  |   2 +-
 .../__cxxabi_config.h                         |   0
 .../artiq_terminate.c                         |   0
 lit-test/libartiq_support/artiq_time.c        |   3 +
 .../libartiq_support/libartiq_personality.so  | Bin 0 -> 23696 bytes
 lit-test/libartiq_support/libartiq_support.so | Bin 0 -> 24096 bytes
 .../unwind.h                                  |   0
 lit-test/test/lit.cfg                         |   8 +-
 lit-test/test/time/advance.py                 |   9 +++
 lit-test/test/time/advance_mu.py              |   7 ++
 lit-test/test/time/conversion.py              |   4 +
 soc/runtime/ksupport.c                        |   8 +-
 22 files changed, 177 insertions(+), 155 deletions(-)
 delete mode 100644 artiq/py2llvm_old/transforms/lower_time.py
 rename lit-test/{libartiq_personality => libartiq_support}/Makefile (50%)
 rename lit-test/{libartiq_personality => libartiq_support}/__cxxabi_config.h (100%)
 rename lit-test/{libartiq_personality => libartiq_support}/artiq_terminate.c (100%)
 create mode 100644 lit-test/libartiq_support/artiq_time.c
 create mode 100755 lit-test/libartiq_support/libartiq_personality.so
 create mode 100755 lit-test/libartiq_support/libartiq_support.so
 rename lit-test/{libartiq_personality => libartiq_support}/unwind.h (100%)
 create mode 100644 lit-test/test/time/advance.py
 create mode 100644 lit-test/test/time/advance_mu.py
 create mode 100644 lit-test/test/time/conversion.py

diff --git a/artiq/compiler/builtins.py b/artiq/compiler/builtins.py
index 2e26b8f79..4133015cc 100644
--- a/artiq/compiler/builtins.py
+++ b/artiq/compiler/builtins.py
@@ -138,6 +138,30 @@ def fn_print():
 def fn_kernel():
     return types.TBuiltinFunction("kernel")
 
+def fn_now():
+    return types.TBuiltinFunction("now")
+
+def fn_delay():
+    return types.TBuiltinFunction("delay")
+
+def fn_at():
+    return types.TBuiltinFunction("at")
+
+def fn_now_mu():
+    return types.TBuiltinFunction("now_mu")
+
+def fn_delay_mu():
+    return types.TBuiltinFunction("delay_mu")
+
+def fn_at_mu():
+    return types.TBuiltinFunction("at_mu")
+
+def fn_mu_to_seconds():
+    return types.TBuiltinFunction("mu_to_seconds")
+
+def fn_seconds_to_mu():
+    return types.TBuiltinFunction("seconds_to_mu")
+
 # Accessors
 
 def is_none(typ):
diff --git a/artiq/compiler/module.py b/artiq/compiler/module.py
index dbcaf2cd7..1e4232694 100644
--- a/artiq/compiler/module.py
+++ b/artiq/compiler/module.py
@@ -42,7 +42,7 @@ class Source:
             return cls(source.Buffer(f.read(), filename, 1), engine=engine)
 
 class Module:
-    def __init__(self, src):
+    def __init__(self, src, ref_period=1e-6):
         self.engine = src.engine
         self.object_map = src.object_map
 
@@ -51,7 +51,8 @@ class Module:
         monomorphism_validator = validators.MonomorphismValidator(engine=self.engine)
         escape_validator = validators.EscapeValidator(engine=self.engine)
         artiq_ir_generator = transforms.ARTIQIRGenerator(engine=self.engine,
-                                                         module_name=src.name)
+                                                         module_name=src.name,
+                                                         ref_period=ref_period)
         dead_code_eliminator = transforms.DeadCodeEliminator(engine=self.engine)
         local_access_validator = validators.LocalAccessValidator(engine=self.engine)
 
diff --git a/artiq/compiler/prelude.py b/artiq/compiler/prelude.py
index 579a474cf..2929c9c7a 100644
--- a/artiq/compiler/prelude.py
+++ b/artiq/compiler/prelude.py
@@ -7,17 +7,34 @@ from . import builtins
 
 def globals():
     return {
+        # Value constructors
         "bool":                 builtins.fn_bool(),
         "int":                  builtins.fn_int(),
         "float":                builtins.fn_float(),
         "list":                 builtins.fn_list(),
         "range":                builtins.fn_range(),
+
+        # Exception constructors
         "Exception":            builtins.fn_Exception(),
         "IndexError":           builtins.fn_IndexError(),
         "ValueError":           builtins.fn_ValueError(),
         "ZeroDivisionError":    builtins.fn_ZeroDivisionError(),
+
+        # Built-in Python functions
         "len":                  builtins.fn_len(),
         "round":                builtins.fn_round(),
         "print":                builtins.fn_print(),
+
+        # ARTIQ decorators
         "kernel":               builtins.fn_kernel(),
+
+        # ARTIQ time management functions
+        "now":                  builtins.fn_now(),
+        "delay":                builtins.fn_delay(),
+        "at":                   builtins.fn_at(),
+        "now_mu":               builtins.fn_now_mu(),
+        "delay_mu":             builtins.fn_delay_mu(),
+        "at_mu":                builtins.fn_at_mu(),
+        "mu_to_seconds":        builtins.fn_mu_to_seconds(),
+        "seconds_to_mu":        builtins.fn_seconds_to_mu(),
     }
diff --git a/artiq/compiler/testbench/jit.py b/artiq/compiler/testbench/jit.py
index 717bdc555..c1c90dd56 100644
--- a/artiq/compiler/testbench/jit.py
+++ b/artiq/compiler/testbench/jit.py
@@ -5,9 +5,9 @@ from .. import Module, Source
 from ..targets import NativeTarget
 
 def main():
-    libartiq_personality = os.getenv('LIBARTIQ_PERSONALITY')
-    if libartiq_personality is not None:
-        llvm.load_library_permanently(libartiq_personality)
+    libartiq_support = os.getenv('LIBARTIQ_SUPPORT')
+    if libartiq_support is not None:
+        llvm.load_library_permanently(libartiq_support)
 
     def process_diagnostic(diag):
         print("\n".join(diag.render()))
diff --git a/artiq/compiler/transforms/artiq_ir_generator.py b/artiq/compiler/transforms/artiq_ir_generator.py
index bca40580b..84d3b07e8 100644
--- a/artiq/compiler/transforms/artiq_ir_generator.py
+++ b/artiq/compiler/transforms/artiq_ir_generator.py
@@ -67,10 +67,11 @@ class ARTIQIRGenerator(algorithm.Visitor):
 
     _size_type = builtins.TInt(types.TValue(32))
 
-    def __init__(self, module_name, engine):
+    def __init__(self, module_name, engine, ref_period):
         self.engine = engine
         self.functions = []
         self.name = [module_name] if module_name != "" else []
+        self.ref_period = ir.Constant(ref_period, builtins.TFloat())
         self.current_loc = None
         self.current_function = None
         self.current_class = None
@@ -1409,6 +1410,39 @@ class ARTIQIRGenerator(algorithm.Visitor):
             self.polymorphic_print([self.visit(arg) for arg in node.args],
                                    separator=" ", suffix="\n")
             return ir.Constant(None, builtins.TNone())
+        elif types.is_builtin(typ, "now"):
+            if len(node.args) == 0 and len(node.keywords) == 0:
+                now_mu = self.append(ir.Builtin("now_mu", [], builtins.TInt(types.TValue(64))))
+                now_mu_float = self.append(ir.Coerce(now_mu, builtins.TFloat()))
+                return self.append(ir.Arith(ast.Mult(loc=None), now_mu_float, self.ref_period))
+            else:
+                assert False
+        elif types.is_builtin(typ, "delay") or types.is_builtin(typ, "at"):
+            if len(node.args) == 1 and len(node.keywords) == 0:
+                arg = self.visit(node.args[0])
+                arg_mu_float = self.append(ir.Arith(ast.Div(loc=None), arg, self.ref_period))
+                arg_mu = self.append(ir.Coerce(arg_mu_float, builtins.TInt(types.TValue(64))))
+                self.append(ir.Builtin(typ.name + "_mu", [arg_mu], builtins.TNone()))
+            else:
+                assert False
+        elif types.is_builtin(typ, "now_mu") or types.is_builtin(typ, "delay_mu") \
+                or types.is_builtin(typ, "at_mu"):
+            return self.append(ir.Builtin(typ.name,
+                                          [self.visit(arg) for arg in node.args], node.type))
+        elif types.is_builtin(typ, "mu_to_seconds"):
+            if len(node.args) == 1 and len(node.keywords) == 0:
+                arg = self.visit(node.args[0])
+                arg_float = self.append(ir.Coerce(arg, builtins.TFloat()))
+                return self.append(ir.Arith(ast.Mult(loc=None), arg_float, self.ref_period))
+            else:
+                assert False
+        elif types.is_builtin(typ, "seconds_to_mu"):
+            if len(node.args) == 1 and len(node.keywords) == 0:
+                arg = self.visit(node.args[0])
+                arg_mu = self.append(ir.Arith(ast.Div(loc=None), arg, self.ref_period))
+                return self.append(ir.Coerce(arg_mu, builtins.TInt(types.TValue(64))))
+            else:
+                assert False
         elif types.is_exn_constructor(typ):
             return self.alloc_exn(node.type, *[self.visit(arg_node) for arg_node in node.args])
         elif types.is_constructor(typ):
diff --git a/artiq/compiler/transforms/inferencer.py b/artiq/compiler/transforms/inferencer.py
index 852617c5e..d82c32cd0 100644
--- a/artiq/compiler/transforms/inferencer.py
+++ b/artiq/compiler/transforms/inferencer.py
@@ -505,6 +505,17 @@ class Inferencer(algorithm.Visitor):
                 node.func.loc, notes=valid_forms)
             self.engine.process(diag)
 
+        def simple_form(info, arg_types=[], return_type=builtins.TNone()):
+            self._unify(node.type, return_type,
+                        node.loc, None)
+
+            if len(node.args) == len(arg_types) and len(node.keywords) == 0:
+                for index, arg_type in enumerate(arg_types):
+                    self._unify(node.args[index].type, arg_type,
+                                node.args[index].loc, None)
+            else:
+                diagnose([ valid_form(info) ])
+
         if types.is_exn_constructor(typ):
             valid_forms = lambda: [
                 valid_form("{exn}() -> {exn}".format(exn=typ.name)),
@@ -730,6 +741,30 @@ class Inferencer(algorithm.Visitor):
                 pass
             else:
                 diagnose(valid_forms())
+        elif types.is_builtin(typ, "now"):
+            simple_form("now() -> float",
+                        [], builtins.TFloat())
+        elif types.is_builtin(typ, "delay"):
+            simple_form("delay(time:float) -> None",
+                        [builtins.TFloat()])
+        elif types.is_builtin(typ, "at"):
+            simple_form("at(time:float) -> None",
+                        [builtins.TFloat()])
+        elif types.is_builtin(typ, "now_mu"):
+            simple_form("now_mu() -> int(width=64)",
+                        [], builtins.TInt(types.TValue(64)))
+        elif types.is_builtin(typ, "delay_mu"):
+            simple_form("delay_mu(time_mu:int(width=64)) -> None",
+                        [builtins.TInt(types.TValue(64))])
+        elif types.is_builtin(typ, "at_mu"):
+            simple_form("at_mu(time_mu:int(width=64)) -> None",
+                        [builtins.TInt(types.TValue(64))])
+        elif types.is_builtin(typ, "mu_to_seconds"):
+            simple_form("mu_to_seconds(time_mu:int(width=64)) -> float",
+                        [builtins.TInt(types.TValue(64))], builtins.TFloat())
+        elif types.is_builtin(typ, "seconds_to_mu"):
+            simple_form("seconds_to_mu(time:float) -> int(width=64)",
+                        [builtins.TFloat()], builtins.TInt(types.TValue(64)))
         elif types.is_constructor(typ):
             # An user-defined class.
             self._unify(node.type, typ.find().instance,
diff --git a/artiq/compiler/transforms/llvm_ir_generator.py b/artiq/compiler/transforms/llvm_ir_generator.py
index ef20056f0..08408c2d6 100644
--- a/artiq/compiler/transforms/llvm_ir_generator.py
+++ b/artiq/compiler/transforms/llvm_ir_generator.py
@@ -14,6 +14,7 @@ llvoid     = ll.VoidType()
 lli1       = ll.IntType(1)
 lli8       = ll.IntType(8)
 lli32      = ll.IntType(32)
+lli64      = ll.IntType(64)
 lldouble   = ll.DoubleType()
 llptr      = ll.IntType(8).as_pointer()
 llmetadata = ll.MetaData()
@@ -331,9 +332,9 @@ class LLVMIRGenerator:
             assert False
 
     def llbuiltin(self, name):
-        llfun = self.llmodule.get_global(name)
-        if llfun is not None:
-            return llfun
+        llglobal = self.llmodule.get_global(name)
+        if llglobal is not None:
+            return llglobal
 
         if name in "llvm.donothing":
             llty = ll.FunctionType(llvoid, [])
@@ -366,13 +367,19 @@ class LLVMIRGenerator:
                                    var_arg=True)
         elif name == "recv_rpc":
             llty = ll.FunctionType(lli32, [llptr])
+        elif name == "now":
+            llty = lli64
         else:
             assert False
 
-        llfun = ll.Function(self.llmodule, llty, name)
-        if name in ("__artiq_raise", "__artiq_reraise", "llvm.trap"):
-            llfun.attributes.add("noreturn")
-        return llfun
+        if isinstance(llty, ll.FunctionType):
+            llglobal = ll.Function(self.llmodule, llty, name)
+            if name in ("__artiq_raise", "__artiq_reraise", "llvm.trap"):
+                llglobal.attributes.add("noreturn")
+        else:
+            llglobal = ll.GlobalVariable(self.llmodule, llty, name)
+
+        return llglobal
 
     def map(self, value):
         if isinstance(value, (ir.Argument, ir.Instruction, ir.BasicBlock)):
@@ -774,6 +781,17 @@ class LLVMIRGenerator:
         elif insn.op == "exncast":
             # This is an identity cast at LLVM IR level.
             return self.map(insn.operands[0])
+        elif insn.op == "now_mu":
+            return self.llbuilder.load(self.llbuiltin("now"), name=insn.name)
+        elif insn.op == "delay_mu":
+            interval, = insn.operands
+            llnowptr = self.llbuiltin("now")
+            llnow = self.llbuilder.load(llnowptr)
+            lladjusted = self.llbuilder.add(llnow, self.map(interval))
+            return self.llbuilder.store(lladjusted, llnowptr)
+        elif insn.op == "at_mu":
+            time, = insn.operands
+            return self.llbuilder.store(self.map(time), self.llbuiltin("now"))
         else:
             assert False
 
diff --git a/artiq/coredevice/core.py b/artiq/coredevice/core.py
index 18cc981c3..afced23bf 100644
--- a/artiq/coredevice/core.py
+++ b/artiq/coredevice/core.py
@@ -39,7 +39,7 @@ class Core:
             stitcher.stitch_call(function, args, kwargs)
             stitcher.finalize()
 
-            module = Module(stitcher)
+            module = Module(stitcher, ref_period=self.ref_period)
             target = OR1KTarget()
 
             library = target.compile_and_link([module])
diff --git a/artiq/py2llvm_old/transforms/lower_time.py b/artiq/py2llvm_old/transforms/lower_time.py
deleted file mode 100644
index 5b3df0245..000000000
--- a/artiq/py2llvm_old/transforms/lower_time.py
+++ /dev/null
@@ -1,64 +0,0 @@
-"""
-This transform implements time management functions (delay_mu/now_mu/at_mu)
-using an accumulator 'now' and simple replacement rules:
-
-    delay_mu(t) ->  now += t
-    now_mu()    ->  now
-    at_mu(t)    ->  now = t
-
-The function delay(), that uses seconds, must be lowered to delay_mu() before
-invoking this transform.
-The accumulator is initialized to an int64 value at the beginning of the
-output function.
-"""
-
-import ast
-
-
-class _TimeLowerer(ast.NodeTransformer):
-    def visit_Call(self, node):
-        if node.func.id == "now_mu":
-            return ast.copy_location(ast.Name("now", ast.Load()), node)
-        else:
-            self.generic_visit(node)
-            return node
-
-    def visit_Expr(self, node):
-        r = node
-        if isinstance(node.value, ast.Call):
-            funcname = node.value.func.id
-            if funcname == "delay_mu":
-                r = ast.copy_location(
-                    ast.AugAssign(target=ast.Name("now", ast.Store()),
-                                  op=ast.Add(),
-                                  value=node.value.args[0]),
-                    node)
-            elif funcname == "at_mu":
-                r = ast.copy_location(
-                    ast.Assign(targets=[ast.Name("now", ast.Store())],
-                               value=node.value.args[0]),
-                    node)
-        self.generic_visit(r)
-        return r
-
-
-def lower_time(func_def):
-    _TimeLowerer().visit(func_def)
-    call_init = ast.Call(
-        func=ast.Name("syscall", ast.Load()),
-        args=[ast.Str("now_init")],
-        keywords=[], starargs=None, kwargs=None)
-    stmt_init = ast.Assign(targets=[ast.Name("now", ast.Store())],
-        value=call_init)
-    call_save = ast.Call(
-        func=ast.Name("syscall", ast.Load()),
-        args=[ast.Str("now_save"), ast.Name("now", ast.Load())],
-        keywords=[], starargs=None, kwargs=None)
-    stmt_save = ast.Expr(call_save)
-    func_def.body = [
-        stmt_init,
-        ast.Try(body=func_def.body,
-                handlers=[],
-                orelse=[],
-                finalbody=[stmt_save])
-    ]
diff --git a/artiq/py2llvm_old/transforms/quantize_time.py b/artiq/py2llvm_old/transforms/quantize_time.py
index aad75069a..42e04f564 100644
--- a/artiq/py2llvm_old/transforms/quantize_time.py
+++ b/artiq/py2llvm_old/transforms/quantize_time.py
@@ -1,69 +1,3 @@
-"""
-This transform turns calls to delay() that use non-integer time
-expressed in seconds into calls to delay_mu() that use int64 time
-expressed in multiples of ref_period.
-
-It does so by inserting multiplication/division/rounding operations around
-those calls.
-
-The seconds_to_mu and mu_to_seconds core language functions are also
-implemented here, as well as watchdog to syscall conversion.
-"""
-
-import ast
-
-from artiq.transforms.tools import value_to_ast
-
-
-def _seconds_to_mu(ref_period, node):
-    divided = ast.copy_location(
-        ast.BinOp(left=node,
-                  op=ast.Div(),
-                  right=value_to_ast(ref_period)),
-        node)
-    return ast.copy_location(
-        ast.Call(func=ast.Name("round64", ast.Load()),
-                 args=[divided],
-                 keywords=[], starargs=[], kwargs=[]),
-        divided)
-
-
-def _mu_to_seconds(ref_period, node):
-    return ast.copy_location(
-        ast.BinOp(left=node,
-                  op=ast.Mult(),
-                  right=value_to_ast(ref_period)),
-        node)
-
-
-class _TimeQuantizer(ast.NodeTransformer):
-    def __init__(self, ref_period):
-        self.ref_period = ref_period
-        self.watchdog_id_counter = 0
-
-    def visit_Call(self, node):
-        funcname = node.func.id
-        if funcname == "delay":
-            node.func.id = "delay_mu"
-            if (isinstance(node.args[0], ast.Call)
-                    and node.args[0].func.id == "mu_to_seconds"):
-                # optimize:
-                # delay(mu_to_seconds(x)) -> delay_mu(x)
-                node.args[0] = self.visit(node.args[0].args[0])
-            else:
-                node.args[0] = _seconds_to_mu(self.ref_period,
-                                              self.visit(node.args[0]))
-            return node
-        elif funcname == "seconds_to_mu":
-                return _seconds_to_mu(self.ref_period,
-                                       self.visit(node.args[0]))
-        elif funcname == "mu_to_seconds":
-            return _mu_to_seconds(self.ref_period,
-                                   self.visit(node.args[0]))
-        else:
-            self.generic_visit(node)
-            return node
-
     def visit_With(self, node):
         self.generic_visit(node)
         if (isinstance(node.items[0].context_expr, ast.Call)
@@ -107,7 +41,3 @@ class _TimeQuantizer(ast.NodeTransformer):
                         finalbody=[stmt_clear])
             ]
         return node
-
-
-def quantize_time(func_def, ref_period):
-    _TimeQuantizer(ref_period).visit(func_def)
diff --git a/lit-test/libartiq_personality/Makefile b/lit-test/libartiq_support/Makefile
similarity index 50%
rename from lit-test/libartiq_personality/Makefile
rename to lit-test/libartiq_support/Makefile
index 2a72a7185..bac7a11c9 100644
--- a/lit-test/libartiq_personality/Makefile
+++ b/lit-test/libartiq_support/Makefile
@@ -1,4 +1,4 @@
 CC ?= clang
 
-libartiq_personality.so: ../../soc/runtime/artiq_personality.c artiq_terminate.c
+libartiq_support.so: ../../soc/runtime/artiq_personality.c artiq_terminate.c artiq_time.c
 	$(CC) -std=c99 -Wall -Werror -I. -I../../soc/runtime -g -fPIC -shared -o $@ $^
diff --git a/lit-test/libartiq_personality/__cxxabi_config.h b/lit-test/libartiq_support/__cxxabi_config.h
similarity index 100%
rename from lit-test/libartiq_personality/__cxxabi_config.h
rename to lit-test/libartiq_support/__cxxabi_config.h
diff --git a/lit-test/libartiq_personality/artiq_terminate.c b/lit-test/libartiq_support/artiq_terminate.c
similarity index 100%
rename from lit-test/libartiq_personality/artiq_terminate.c
rename to lit-test/libartiq_support/artiq_terminate.c
diff --git a/lit-test/libartiq_support/artiq_time.c b/lit-test/libartiq_support/artiq_time.c
new file mode 100644
index 000000000..1afeadbc0
--- /dev/null
+++ b/lit-test/libartiq_support/artiq_time.c
@@ -0,0 +1,3 @@
+#include <stdint.h>
+
+int64_t now = 0;
diff --git a/lit-test/libartiq_support/libartiq_personality.so b/lit-test/libartiq_support/libartiq_personality.so
new file mode 100755
index 0000000000000000000000000000000000000000..80ff44cb82344354ecb654dc6bee6b8ed50efdb0
GIT binary patch
literal 23696
zcmd6Pdwf*Yz3<*LnPi6~Oe6sUC=N(Mun<Cc6t&TWFffq-F_4N6It-b~LnoOy4+ts{
z8?a2%oDXPisoIv>$F=Q2Ijy$%ELN_f$E&opYI|D`eQ->~wyCz39zEuMzw0sCGf8^S
z`R9J_PG+z5`>o$={nl@-z4l&f@4eoJH4f7>^x-tFGzc~3Nlc9@XxywaNNS9gMmElK
zjM;+LHCi+#7n~<iIyDTBKu||Ee(kEfeV)YY^t3~e83*cQs`-c}U$5fpReU-<t*W9^
zOR;Am<?o;>&rFp#L#L$W(Rel<Wd8QK0vwYDCEC!b=DP-bwDZ4u6e>dU7vtx|Z|#O=
zqw(1BX}4d}5V-r&ORswG)xUoF3)K(&8%bF{9Y5{I1E-IeMt;q=iJOVvZ2VSvfBw$2
zOD-CI;&*r5{?ff~N8h+*%Y_?UXA+MM{CV=*Kl{_<|9s^SGe9=s;WToM;oS7%1i&fj
zC;?rFvu7MU4IGdD2x!N{ADRGvZUTJu1oD440sX-V@bsexzs%!ZAjY$E>jZiaPe304
z-h*G}(K~^hl_2zF5(EAfe&gA*3vzS}+1Z)^sL-{ejhiRXn*`MbX_ON9vXDQ`SUKO5
zR(cztDMp_0b+<%&LC52mpr39Gw|NAtPt%3oJfnV=#H>^F-%#|K@?QcO<qxXLeNPD@
zIAxspoF?%3#^)K3wqt?PdvB3MKAfWp{r<MjNS8kr4@BdBzv1ub>WCZuRwRbMe)D>N
zFcb~7b;RPK=;rlx;Ye3#b6|ToB+JGx@wfB@C?F8-xD|v~@9;M%33cH>EEb9xf$fnf
zl=z{t;}(B3&=Ct6u{bnEjn?jHM_0Vn=nQpsMs|R`xoc-fSJ2-?B5zMis5{;f=}Mv3
zM4~OBprjcU7?L7WyrEd4GenWG5Y#G(YeVt+Mmt0+BVC*5h?FQ)yAw5u!w_X{cPJW*
zux{~PcIJjaS6d>`7TVMuYUyb0XjvVI2U6vmLh-dtb_j}t;Xp7LH9|dbcerDFTT6>S
zRuPL-EFsjw+zP`V3JNj)?Xj3_A)vZ~#@f0%|I&&|V{JqIsycsFMODRe*_ymMIPvGe
zpG-Au03%0DmN*P^%%7A%{C*LOvi~)f?ZTDNX*{apl;wA;a&jbQc3^~b7*DBkef`qc
z9Z$ZL+pVrs8h=JzUn^CA(s&IwmU#ptuOS@k^|8f<S0Y5wHXB}bMS*X(;qCpp+lJ@$
zMjt&kJo}P94l8^P5cH%zj@a<}+Q+g7ZFu|q;Ft|xqJ<zmZo{+A`Z!_3=V&C-Q#QQz
z9g9!f@b*jB8#eqTo18N?Jg=Mj7_{N-ejc{rRnrQV^EP~e7Q$4uZw|7PZFtLuw~yO}
zHoSeDFR|g(5GJH~Y<PP+mfP@CZF+ru?^wQm*VYR?hHw9gxNGnU6#Dv3TF*+Nk>ybo
zjg-c5c3)hB9N~5r4xJgnQF;?$M*Gld0dFVFkQh24;Ohx9WQUFkxQQ@BW9W#0uO`fp
z7&<86RfMw%_X_xO!gSYAw}7h%vx$ec3HVaNY}%nl0na7OCLO8~@JzyNvY|==Pa({v
z8uAEu5@9ycP@#YwgxNGhhJgQL7GQRvq2Z5!D1DbOn`r2afZry}t~7L7z`rHTrW!f{
z*f&u98z6iGE+);s1?PRqv%bFblXpyo+uxii-JZL3<V>sk;?;(+^;vqkwZeVzK8Qe5
z3{-zj@Grkt@_$7BXFhWJlEc1d2Cwp&&-s4xQM?4gzO97iOJR~fQ(kZNb&z8u=KK1p
z_ksZ?CC|q5ef`x{zz;4$4F`QVZGFyF355CHSbMH1fzf?e8Hv21Pk~a}4gGVJ{vnDS
zIlWc*pLt($_Zz<Fz2`-Jp7#!mwBP%Nuix+`y@S4f{016LU$S}7{R88G_bvAiyl?fL
z*_-?^iiVTV{Oq^M)4s#LT<>{bpLaNirTb3woI)W)G!Occg~*=Y`t1K3UDCK3be0Q!
zeY=OR+KGnr4nGc0jHH=5YEs`jg~{^=ydU=N{%|CbbDY&b7lN1%`_8!g&gbvkoIK$h
zDBdsJGT@qtSnJPn_*zaQXbJ%M%+n)hjx*xVEk4eUb*}t4`_H*K5;;>MizG5%B3*+`
zAC8Q?AbryJP7T`NRC4%$_hhOe`n~WV8(_G1_sNk&E`2!k6?9}+c2ZjA{><fo)2us&
zo{_Td>i~px^net0US#`DSQI>jiz6Z!Wy$9U-~CVYh9q>HgY6nw&n`mbYeYhd`-etr
z()&mE5BWR6A|=ov1U{_D`V9mQ;s&;jl4J>z&nXgV&l#|vvC#;-&fPq!>P@J6)93z?
zU69aqZVid3=nV$iVVe-4=v*1grIypkp0*K4Ev~_r|6^oCy0aVcGN<o+VPZN+rQ;dh
z=ixr`oy#740JH~5yzj)WJW(WC2la1;7VyY0Pc^9rO)C3NfA>ldAn&VW+R$H9F5w=J
zObdPeuKT8W;9%pE*Q`%IQ=h~r^b_B})L&!V@(nC^WB5Z8iO3wh7k1zR03Pq)<27_<
z@;Qt`ebX^Kus*)y*KBU8<<FONtp^rix{d9ebgc#Syz3sEdH9}p-F2<X4pd(P?BJV!
zM<+qt@BYvgUjn1DrBS|tf|oEN!=MIfkkf8ZE|d=L1LxyH>cH}=MO0P)1k8iKk`f{7
z@u@HcE*mI#L(1ZP3o7?RLb`HKfqZZ!P8=)xU4MiKGz?9-O|wt^1qOHUJ!a?I4;DCK
z4^=K;zTb6qis3=YaIc+Vvm{#23hqCVpoSTmq2M#pz;4Mm&CYir_y)gtUT7Nz!{BX1
z+zEsj-TL0~BzM2#OC}K4u2aPj&Kgf$AtiO&CH<5_MuQ(?=LwH!&!>eO(Ib07kqW2A
z<nCW36K`M;MnJAV)sXa_Xh^O<4he`n(F+lYz3nydP4x&a=Q~)XHQIuLd|9QZI9?4b
zufz2=<@0)|89eznVa*AS1nsm8!vkas_&CeZp8*g1K87@jF5ABzKMd~uuHO`iYSt%V
z2!r-Isbh-0vS+1un0P>#D7r&4>ikT$@0s6Z`OFu6$yF8<*eEDJgMvYyswOW<1d|6T
z5@SH$nL-51I+(OUngnBB;t)8n{Ok4#Z%G*={Y5nc(RQJ3;A)Q#*R|v;gR2CU%b5~&
zhZJ>_T~q;xM7LD!bjLfxXuaf93wgD9v>az&@*d7(e93_lBn`>^oW=C-XHnl73-;#1
z%6X7^E(e(f$mqf>S-5<fDqNm#D|E=h0*5Lr_!Fj7n$whpu0H}tv96yYgDJ$vr?922
z8hKRAq#mU~BahO$ruyWcMf*Ji8y;il9$5Z3c;tvv{yyyQJL$2FESK#ko9LLoy?{c&
zQE-}C2Bz+k{Qrh4Vk*YY{uME{4JTj!eyUaBgz#zfpuN7LWQh2=O!B`*X?k4vrevkv
zjL;nfll!+2?3W2T@g#9+9r9pu>g&Hp7P{)}qTdv~VEH|E(O0L7zL{X(AZ9xZa?x7U
z_{d+VkrNuAKZZ1k3rc?izxBX1gVgnlLJ#yB+Li1IT~c3_UEeP$Nf|9>Rl-s+v3jL<
z_bVgusqP;%zv3GZ)k?lb<*$oSl=aMDd0EdFdUwA(62C^Vk!dbl4WmTL70Akq8Ejo7
zZ51IeoPH8<ghu}gChB08?Or*tr9ZMMdJG;*dXMWmCB4V`n*n)`Np%k*`ydQCB2dZw
zjcBx?R!opkO^P8bt2rz!K0K!2by<L`ZwANHvfzLc!)kv_god{l+In$e>|cKXxr52)
zQPsn!_%gR>B;HnivOf7jt-jKp6tTPfQG3u<zQ<6&m9}s90V8oKxZj^Fxd*0xUecek
z(;J{4`W(hyXgut@!h72NnLPrcX753|gUCBO1k&~Gl(4l@*q7|WzW?sX$n)O6h-*RL
z?q0*aZyx5BtQF?syl@;5?%mIu0W`5pT+K?RXj485Mw|NWVsC_4-+<(Tw>m^v@9&Wv
zNeD^quOT!b6VP}iO}C&KkjXug!*#a61Dg=@YV6-FRc6~&4*i*Ke2N^#E?$+6NhXXK
zf^J~yTFG@3L6Hi+?}KZw0w+wlUWOG-up+rX3?cpE>~lXX&Hfwu;^<Uu|4L9GPF_X@
zn3a+B1zCk{K=}F}mB|2$Va;4=P5(WVEjzF9-uGAsTsd%Sn=)!PtI~gu6yO@n7nPS+
zy*^3)9Xt7-hDFUuZp1G@n_;}G@%XOTPfVf$%D<^Z3{0(){I}Wp9|k{S0MjYs+yc0e
zzBdw%a~Gu=e7|T8c5Bh3Lvt`+w_OF?`@afa=&4TW`QKD9uzZ<a&sylwT)gUVdOP@h
z4QGvDzNZ9g9}|Hn$HU~y>}XA35>>*y1ugKHBo+gvBv>K{n%@A?0iTH`QiG`&(&8vQ
z4jYVf@xI-EG2#nh<l#K&Pt2F3kq>bs*Q3z`e*y=eJDghu+Hi_?lB7Lsr`<tXIMg^d
z4Qd-<KYHGS?oTH_Q25bl6>q#SUps+`6$h<T{WZm_<;>z#e-Gyyr+oe07Sjefe@9wV
zDe=B?nerMYZyGSH)HYrFNjW7y0F&fM`mH}Q5O4)mciBV#0^7iI-uKKI+^jHs#o&y~
zD1ZUpt32mRzCKuidZ0Z%f$}qa{IhgCo*GL^I3u-QmC{-Xt>?TGu{<+g0rX=g#`_6J
zO3ct7XuS8loNZm<J?{Q=Ej;=oHuzvz)C|w4)FY|$Xx9bkB_l|)krv=bIP+Hw+${X&
z;<p{YJ@`F{-z)gNi{CDcQ}*B8z!d?v62C3@mBudjR99DD=@F04J>^}2&QNt}Y@w$!
z)+W;KKs3-9tG=N$91bo_owhE(P|Kq{iihmsIAnPI%}sTF?}pX>jcfdyHrLjzTi_`x
z^UQ7T3iaUOcsvyJ;6Z;R>Io+BsK3pV5D)l~n`@NDJgs=(9lqRC8dGxh(|Y@Zeow4D
zk_ZPqU6Hsa8j2^PUEtK_%V+<S>=-`%SK^HFj;_{lM_YTmLM%R1#CLUvfQoqLRC_9=
zp&LRlG0^1+>D2~LJOVw!F|<)>Y6*t|U5RcbSc_eB<@P|!&GBfUCFGA`{loJK50gl1
zO0kV%foJhQD7~R_t2Ah1BJPQ_dScxW>S=}NQYvibB)VDx3DnC|-rZ7N+WoQ8ZZr*z
z#e#w0j>9gAX^C{jJGv6^38l4!7Re?s3{QKYD;N$%4Uejv;faL;(Ux{&wA!JrcyyPi
zJkY{*n3xB#A^)xb4_0@oODk7~d#><Aw%>%dh9L_*R2S-D9u}3Syebxh7%#O=o9nOf
zd$-hi8#mW)+~BWksNJ+l)*P)K>S(hyMa&b3hD5{165ZWcMG6I#53aPemkM54+i)xx
zfNm8LS9*kdJmq#53Crsd1%gh*Gd<T52#3)=@sOunERR*gsS7>fP*-(n5Gj0xsBH`c
zC0=^ulYwvo9Ve)q-xbkxp6&pcVmEhmcY`Zs&8UvfK)j_r6oY-TP|EYt-J@oSc3{lX
z+KsKPSkOYDN7ANX#AJCok>|=(c(3UQV^xc-mB3ouc>bgVWaP9&Sj9~U;Of$ZM~iHX
zNAXX+HjJ>5TpEYSkQEUXgBWEcVlL4Y)cuhh7<Fz+bkZ&CY09tkSISE&E;XxS(pZiI
zN~m6?lM8^TM+%|W1l2O04sczryN^E=pCSxW{Ptx(mNe_`Mq4m$m6wJ)7JBq)!K6SO
z*vm^h@IT2A0D?#6*f&M>%~{SXwm}wd6^zfnH8OHL(pQH@M!tcx=IxP@lSqGt^!G?N
zpBov;!WCjZE*|rc@;b2^>1<rlf=GFV-bWbY`ZtjNuk+wXS`1zu=B-VJ*;8oF%FnU5
z_hTM#Tp})n-WtHh<ia(RORje3?X-H0t7cwt>C$;~ffY2Xk(R@*FcGzr3-5H)6=XZw
zAW4=7fsUj6?zHlMN|o;e{w<W>kyd_ts{9+k`%urH(GD%&`Lam@+ISMb4^V%xwyw*8
z<H7RZ<L7~2zDLA3<ynyXJ(O>;mpeA4^v^^2+bDl9P5;+Z`d0%Vg@47Gxt8zzPL8%O
zh;kFRlwvJkms6MR(CeUj-BTA)B@eE-^3X8XSb5~jB()C(_wwS<>-%~Gi(Yq~rOG*3
z<1tevhF*WAzj)~KzkW0lA$(lvORZI^3}!9z;DdM^y5GK_=oz~_N@S8+tL-iG2#jJg
zPAPgFkDRLVm@X5eTp6VCjVhz<d_&RU&PE(sALi%6{z65MnUa9DUQC+={GzG|o-PU)
zw~YT^9D3hYrZHv8(JNHCMx~!rX{$<isPs;ienF+*Qt1y=`kYE%Q|Z5}^nI0PtA^ym
zF&<?qU7^x7D%I=r*n)7mr+js2dk1Dp%PKCbSh{HG0+}%uf?xVywqBzO;=kj8-*|_l
z-wY~ApSd?ClZW!M1ky5>pdroQLEA+Lu<;Z*%<PY&?VW2t<0!ofYz~KO6EUyh<S4ra
zn5--pHk}yGJ6T%Z!n5USg+S-85mt`M1Tm(yoLpYYS@IcT969emyYuIiv-C^EWaab`
z!=)|9$G^+7mBU9C&M5OcDcN}ov$wL)c|A|BN;+47`hYO9`UG7WRA=pD7D6VWJG!iF
zYlNVgeI-=pd=t1gTz|b223fqPb-mBJ7#5xA`rz*(`x@~dGGAy_LZItEnJ=+^N}7+D
z_gKfE)iuI=d2TiJ7$$+r-2X`;QvfS-^P$G&5I{|C72NO25`ZuFEakcc(3pEAfouV6
z$^C_}+I$+U+j1|Zv`OYk0PVRi)2@7z26yLvmeL9Z5YG)z&lK~QDCx;9Au!GS41nI;
z&!W<<>E<E;pU!Q>*;Qh`2!g)cFa=y_{u01}+z@$6&9fjln7fJQRG5DQa5(pR0*eK3
zBsV~yQUDL;a=qQPL;%NfBLu3<Q{XwCdlyA76Skem{VYpXm}j8jq%r9LYj<zXbhxj?
zb%d3)JS6xUvxfB>y7d88*RozE>9<(hLL=K60503gh70o8o-{ju7#U*OngTnlu|>eX
z51@dwle4lftbt%RpNkmo9|Lc=cjIij_d=e-eGy~S{V%{|x$mY{_sby9c4vV;$9)QC
z%Wxh6QTC-DfC%yyMk()2piK7>AtMY#miq(bE%&D&qtI|3h8wc0)}f#<0F}<0DIq=p
zIEPtJ_Kp{kw`xeX^9U#m>pq;ad(IGT{TWiSZ+!}wLhA$OZ)3j1xZsy4p27-EVGcF@
zG?HwK!m_R1I2TztRvx4lSAZ=imu$uTi13_AbdZtrG_0)2$>H<QsqBr0)e3uZ@>yzG
zui%_hum<Qt>mueSGhb|d5nMTL(v(=e6kN!>$NG>WFQBk;BX0|U9mtBdaTqz=MpBql
zd>>F!z*I5euv#g28uJ$XX<lSOp!<J-%5cwtrKY<R1P=FoI6K{cMGIuP=b$v#eGv9e
zav#At&;2yc`R=(m7rM`))Z;#hdQ`f1A%DVfKLwem4R;>w?ls-HAR94_X%!IJU1JVz
zLaEgNdUJ?PVpy}N_ig&kW4VYw$JpCuRT2LV$=j!AqtyJvDd5{{j67B}2z&_x5$jzu
ze#qh~`dg2xVdQz3_rD0jnQuXpS;eg5kZ;y?l)RMWjzjIUUIx}&CZTP!*h$UhVh}xa
z?S<Wjx#G0o+JZJ_F57wy=YpHSJYyTxt|8}>80C40StU~Q{#w*Ts$G+&c5RwkUz*x_
zo7$_j+KU>g<;E{T>P9u8x`V24nD^g8Eg#TnH_{@<p|Ek$2G(FF1)o;*Vy-Iazls)>
zR_&x!&O^ud&U}{gcaq(C=#jnBIX%isI$)QyWZUf9)g^HnNO}AbdS^w+J#aff$DvOd
zv$^Yl#}t_uQ=o7bmn6-5{s}0@p)JPj=M;_J8pQ{Gvu5CAe)))?X*6cPrD*h&i^Jip
z@3Lm!TqbBX7_;-;$l=hs_K@b|sFrzj4bW(5<Kl&iM(dj8V%tB;?&3I9gOFQ-ocV6%
zj#%^lcOY!$ZK9A_7(T~=fOddA*ZImE6yT7~8sV5g*Jq2~FGfVtiN0816ub-mx%c8^
zPBJsM#+vtE21+5iUWh)UM9YDdI3dPu6p-+e*{t3y^WF=j0jviP^ZuhKo%bb1!YotT
zb7LuP4+*l!ai~!!`9AWw&S9mbY%3WqGWoa^T>%wfmlT?^Ee;Lye?#Gy2#N11o#M_z
z==>Zexbt3O0L&8?9mk=DdDlP`K#tRBfO)U7$>y0yKo5V<dxZK*g++|LdF$wvQuE(I
z?L2gB@4Vl#dS&9;<~;P^UTNQaZJ(&Y{ZNWAWiBM*zyl=1Tx6<lRK{fzvqFJe%Ic_Y
zu>u>VOUW->I@2g%1s3d}4XZ>IGdCQY_gA1}%PQ81Dmo9{zem=wPSnwP=<ps{$vRO<
z=b?jpWGz>#S{~RVYq?t0vUiWD1_kFjJ*pbAq8n62x0F3go0?7bJm;ZPdqgd_>Uzjp
zZd0I7)-s^LnzD!q-d0m~=pXGZd!J6YS;0^5Eqjcz!$LONyzF-*->Hfp207ca$7F96
zO|XtlvP+qAWN#T~rRJ>)KD@Uq!t&b`d~k2s_bBgn1)tb6`(ia*a8T#L$$D7<ZMsF6
z%yu^}{#QlC%bB411mkG0qByX(>`&ylL&3d!%ZjMBPr>K+lpO_^xnIG<doDhuMh>pG
z34yP&UU#WD4PHE=${8`Dd@9R7uk1d)=i=2Rvf!7fk04k@i|#Xd?Q|X*+*6iE_<qH3
zY)=_IW`0?fpV?Ekn-)J{a^Q9z`qiGYhiLKF75#&I${r*AH<ZPv_W(lI<8*D7=#|6l
zf4R=y`5sYn>D_2H>pPsH8Fe^i8QXDI_Y@Dn6y8&0-i&b8<lw~J@#;#Pooa%w?he!~
zfw~V+w;u9-L*HbmI}1Ihcgop3W`2;CvrC8+_W};ypE%35Qx(gc<sHmMncXR}w=jDv
zt+1>t>(@wgIZMjQ{XVmtC1p+OMb?-kW=UB&D^Z_3u^lF#v!twimRk9oC1n-dg?wQ?
zXGvL;nJ>=gEGf%Pnv#6ZlClb!_vCYylyw1xl^X?L2H-<>ayK##W0II9WfgY<B?U}<
z5Cuj)XGvMpn70hK$F=2KB)Ahcx~}gP1X1R1*hzx?!_41Ed}03W%x@*W#BdxW@F@x}
z+=i?<DYJRZ`!9#03qn0zC}fsn;uJCO$*U3IvAt8o)F+=e66}sePpgL}F9E@$xWh1u
zSc<+}^slP$pG6U7nRiofG0hiOI}Gsje6~d=80H0L>Exn3=j2(FFEFR%6rx8s<{5c;
zR{{lX(+ub2%k!?ttH-r7OW|1~H%K6Z35#-yOy}ghJW`qft%4NWN|5C$&{bbVaFP~^
zwl&TAB68%<G3tvJqp+Y18BX)fQE~2ah`SK;n8G4tJ~0FCnrhCULB1(2L0&Z7MqWIs
z9knk20kuvOCc3nV(?^L`B2r3(eq?4;pe7`mKcl{g9;qq$;wqtPrYlt`2Zn`N%hJFL
z0b0^iEWK!~m@h~%v-9BcDLFL$VwpvRR+v}K&}yYpMLmaF>Wh}mpwPJ~GS~bWX=Ilu
zb(#2i%4T?;0!jhWNClRuDkyONs1RLsWktEFoFZIcw<Ck}QY8~%an%eq)wmI+BY;iq
z91XXB6k#$hEPF%ixDp{aDLn-9bi3!<8k+H?BW|*eICqgPb_!EfLja_?_yXlSD5EP8
zc)Dj0EYeL`tX!qYrjELUWX9jnqaDUy=oa&X$ptuzS2@uW&5DY}_>V<e7Dp3U?&=H~
zixaWv;*PGCa3ZJxylJx-FWxNfS-HZ$V%efF7R7oNwRI&H<AGK>rD7XPxxFJEGb#*2
zzRF}<C8)q8%HUf~c(PQ{4l9`thFX!w<&%pfF=TOpgb^JPNg>zakVnrME3jP)RMZ#=
z9QxkOxy0=2+lL2G=EFQ$bHuri=j-=9w65wO6p|+UpR*Iz`gN5rwC!*#F5V%Io!3`c
zMSTyo-R)RfeDsOy-@D<x8;?Hp#EpmUdg8{T`<|#e`s5Q;$X6l1Wb5Cob<3SQwm99M
zzK0*8z;({)6;C*BD6tY&(d%D*=&VrEn(bIJ-8$k}GIiZo9i>H2;wSKr17G~awzGiu
zTZfifFNlg{TNS`hd+)s`V1Q$85&o^a$mb|4#`*f?j)ju_6ofbq;*=G~$we@mphYm3
z;3R_i1PcgGCRj+YFx#;TR~0xwD4Y6_qjI`+-4jO~i>Fx~*5W4}mru14ZPt1#(RY)z
z*qY;5I1M$LbM*DThpw~siN8w6x~U1+bAu4`TDG;$QCgfhYF+18Tw-1KI?~IEMbTGS
zOG{MasH3(RepYDUN{bRpzFKJ|ZeYIng@>%C?tt(o6K#NY;OBf~Z`}D4!<qsX$8`?8
zzGV&}=pDv)#|wQC=>P55HpccC6@;mm;1JU|QgNIS-{VCrLOmF6ZRwKn&4|?(Y-gTn
z)pk3sFL_b8!SS&v*@w{3tf0eNAaGl<ow=_$CZV!^f26h5kJs|*H~OQYK+xYEk1FF*
zYvFz@)OH&Fmi9mg-VaQBw~&jhn@}uXUG(AwIzM(0MC02Ntp*q8DOkM}SSQ!2jRblv
zbf84mit`ELRxBe*tbNPXR=mL1BHu~$>m^0oLa^xPT&l%-sW2WY{o4aEzCXFqzcUJ(
z6sYVSXBkp#yg-FoQHB>ZS6}P*`uvSvyr>!Mh+>W1Slk}z3@zT-4q>+>0@0fnUmL+m
z*u5wi+97j`@xtPwcqkS}X8V|yGVo$&n@61ZAUxbH-h%XY$@O1&2Rk~})NZbA@HhHu
zH+if4-lnFFO$JR;uVdC?+1^{bp}A2~7~18mxOSm(6yGkzB6?)BHTh1XW*Al48V<C@
zpu5(;W@A&G*WbM1+WHNvQ*I=aza<g%w?x8;&Msk$e0fvq6HCBB+j=hBZ^;U@A0tSp
z2?ZM?Kw`s#KN1cy#`uD0%EJl1eOaYyzp=?%zjlLtn?h~#THodj>Se}`KzIq>+@!}g
zY;0N&mu=d-k?)xTv2mTTeHY#(#f2s`8aQ>_H!-&N$#(OnUs6)GMLPMKE`q2NEshGL
z3c6dOp)g;a_teSd7|){4c%my*-4^N!MLSvmaz{rsu6c`AEb}aC^DIJ#u5P*PGS8yc
z#`-$pa9{0))eYVz|C*-S^<EhqiLMxSVqj+s10<yldn@Roba<I9y4g|FOIJ!?q*QEd
zW~0W~8O7VKqHAJTkWC$Ynpj$8jCOVQTGb831__&raA^CID(HY~Vu2m1d)YfFo!u6S
z>p0`)1`!dP8oa9nXE@SwGn+Aic1)ShP^V-4A}SFSoe|6;^srGYyFrRNusz0#Gtioq
z*pTi_JMaQAUtvz!v|eod2#)IFZW-#*T|x|74WX{Kc)J*{IC(Hex1Xd2J3Rog9Q%<X
ztOVRPI@H+vnGmX8c19Po@7GeEwNZ42VllkjEJV>gV#LhY<s}N&)HitTgC4v8s8_J@
z3K3+)+B;eiyxkG>ZW+EYTvQ_6elgUA*dOs0_zt{v?O&40RT*--2Sy6^m(l$%GMsFq
z(-Jj0r9udo1W0UA1Gd`iB*Tos3|EOAVFrh#RFiu3xNhi{6OrQI5$F5wdaOVT<8AO1
zQ<DJwb&QQv`)(9lp+?=nC};C>JX%^MTv_Yi<gIP0!?@1j)xhY;wvMwQb)3p-)^EU$
zx`qaS-Np@@y<0YmFkONEhP`$0D6JA#C^k8RZ}eIt`hsYGb%pc8+rcH^L4p`zvQ#Dz
zM`$^cu@?$|q6^!Gz=1)7@9S$CwLeZ;xnZNf$y>W=<A%|;GPn&(meTh64b7<moqkwJ
zH^69i@kF;YI~6x#9A3$~qN=#acgyZ3d%iGn)VT@O|5IZH3<XIlCRGr~Yjg}fl)DyF
zwMfl$Fl*`Xw~8w@b20I*zQA#BnXx*I%P%^ZC=(dzsT4nFN)@qPod_1B@u*DObq+h0
zLKV2tsMwz92nQE+1PuYT2V(6;MQ~RaIAx0NBTDq3VF&yuLmUOjpmN=)ONID?Lj?yB
zqe6Vgp&}X)BWp#d-QS8`oFRWZzC4hEBnR3$8rUT{bpECmkU@H&v!exeL?95S3ZX?x
z#D@utik3)cC$<HGG_*a@24;K<Aq2bxg`;%Q_U+No4qYNHgQ^6c;oR~c9!}f<>F?Iq
z3Hdz(y?-SgkLf3FyfP0bZ@X}dm3cUU)cZv2Wlkd-3x9Tu%sY)7L+?|umpbu?OYdh%
z$B+G<49lI^RZ}?0PAT(F><rW2A+nb`u`5XL|4GLe7)SI5A6tPFZ{F+g_t?<T>o(5J
zwPR%7i4|YHpU7V7#2bcsA5l7fiqSLAV@HX+(<s7sipIki8;xb-;inpU-;iCH)0k%H
zeJAPo=|;``@#OH?z}N$;nq!f`I8(c%(u<vjdiIx&2K_ir7IH4ipu}?sV6u!qbL~Fu
zz)}Uu#`=vGI>u>tJYo>|gLvp-KWY^|b6?rDz?;}zrTs%Yc(meYj?<0<z*Dc@r$$;H
zU&7BECmxOiKVH4~3{}|A3gQUM#CQWK@tLc-zgPIobyz;rA${h0YYr;Hdg*8Q-8CS@
zQ7G^QhF(U*(^hfJ2A*;<SNAFuK63@GUdhpGhJ{MbwF<A7`7}PH@Otq~M@&rN^=eeH
zl5+>}<M|Efaq-*-XriBPo2LY*<ZA*yHhx$<p8TVNer!K_T;Rv{(`OZZ=J$wR5%{tF
z^epgG(oGc5dEh<c;EORXk4L|30{mv+3o#C4+H-@TA3Gif1b*yynIaR&@0$Ss#R>2y
zl>E%)O)k!kSFd*`z~|r+#qT@m$0GWBP&0rZ&u`^|eyl^U0=^LaBJ+Dws}(-eZ;cbk
zX`29lJMiP#!#ynH)%Sr3=${nyW4~wh(gbpT54`Sc_FA6<ey$y%@;SJ)kM~`y0)ZdP
zFb{aO2%lcq5{<{=iPl!k<oy1t>ze!x^_w>1`OE0{u>A2(JoAZkVXC7)gk?kd{lSR8
zEgab%2>XNaNHpdTBzg=?mAb>Y!wFWbSh0fB?s163$G7AZ3}1V~_J2c8+JcGBPJDAp
zP2mJ2zSfmSI%dWW`|Y=(%<DVd@$Q1f?Z)VHk<`7Be*RQZwX6z{H=vWB?$URh8Xo8I
zm5p&}C9M~au^?tCZ!l8OG73#WE0&J)=+Q49M~GWhe5gz`3U6DP55^*Xd4Fj5S6{cG
zc0C_t`0>RuO}(~Z<0?Fh*|=uSChund=Gs*aUcdYfSxt@oGg|-fn`i1FA-)`D`&JnE
z)#teM(}1S5Z<X1~)#tqA$JLYz<(mrft7qw^$nTY<<FpExFy0r(Y`T<q+vB6uU8?<E
zs!<O0<+TibN=)j;23}47Ufifp>KjLeiO-bz?cXg^bmCKJqjc&sZy8F*`D7fwla@in
zuhZ#{m;P-!?OOfLhtl07z5_R^Tz!JgpZ3AJ3?=e&c%#PKD=BY*(;3nSk^er#`2%k?
zaJdkNzTeSl#xwxe`t*bIM7+e!%bYm$eUVOm3XkDa99Vr$J5~bX6jSr3G8&;6sh23t
zuV>sfz>!3gr|z@V{g!@j03_nT^dRk^ecZ#Z`StynPHPmkwqMifv>D}mCqTpczD=i^
zKhu6C)(9e_%ZStWcRJ-fmWS4#S^qASk$)A5aOnF$o$B`>$j@88O#U9==o4(u5QqN$
zs803!9IALs`^QjV=hyd@I<3iYxW2aPlzV3E{QCY=r>iqAmYPr7voC{R->2#nyTj5B
z`pSNM76A3@_S5&XI^~vf`;n>tE)?4N^?k2SgLY=*GxZ<I;6F20GU#+)hW~W?Nh-tm
z4l=y=(D9+~qxE-wGwCzoAApzpD>c8q-|n6VB#un_O!&v3p^2Jb-<S9N7x|wDFJn*h
z>-+a!#eZ7WU;9n#*X?jRL%+VyZ!ALrj!K!N&YEARKSzn(e*HY4SMeW9amtM5)9ITT
z{Q9{;<@|JdEk^Tc`1i;Vr|YlppI0jWV>OymrWqhUq9^Uotf%JBd~%?}NvH2BekpzQ
zyjkhrHi{BC&8N}a|B#7e*&~YoK7C`X7&2)KCg9(=LNY|OV<zCAH39$Amq~`f{|o<o
z#h>ZFZ&geFM=}~r+pkj&PZ=r%<MnGKf0ZVb;22-ASdTr5L?j2-O6Y*n?*T}Yv^o0v
W$MJ1E{Uwbkz_C(y90`um|9=4RXrIvl

literal 0
HcmV?d00001

diff --git a/lit-test/libartiq_support/libartiq_support.so b/lit-test/libartiq_support/libartiq_support.so
new file mode 100755
index 0000000000000000000000000000000000000000..baa5a31aeea4c783fb5e69d20d69684e847d942e
GIT binary patch
literal 24096
zcmd6Pdwf*Yz3<vHnPg916OsVoA#5-SK_Lm@QN%_P!oWlV#6T1kI!rQ?hfZeVJRqn*
zG@#5$(@Sh^(Narm+mH1W<=ARbY73R4)Y~e39Hl+hLwjnQh^>fy&}z;7{?=n>&m`$R
z_x^D{XD74Q`u*1LwSMcj)?RDxwfA0k!y22WF?HD4b&R0yEP<(!1?QV(21yND&eCz7
z!)9?>$7s=*+`eLgQYm8wN05$m{0_+S1H}Tb(z7;B#*WpARPhm-_>M@vBa%<0XJu7X
zs!R4Xr1U!|%TrS+j;WMr>1cc_=BNDOxf~pm`URS)RPo&aKC<(_dgMt$;xEL{j^El1
z&Foi?FSxV)>xb_OTv7hQ!y|)-FKvJHuS81aQ}HwXc=o)VW!HS2aMSUdh2JXozr8c%
z$}29O_|FIK{^7%KN6y``W#$IQ`S`N~@8!Pz(|2<}eD(L!9(wSAY-un|aM+oX<z*%p
z#sTIhqc}7ZXJZ^Z89E;Q5zvl@ADjSxVFG;h1oFQ<0sX-V@Z?VeztrOr5aZdoZ34ZA
zCZP8LZ{U}D^iCjWIS7qZV!&_UH=aGaAV<ZLm8}VY3}Gvp-9CZd1gIt@Q3~KoT>ccc
zWuB2#dKaL4mc?Fh3A7t@bbO1`Pi4zH3=XT)RIWFRb<Pl&b&~!uNuMhJhae;Qx-{x3
zDTwNtKTdp3;rML!Eec4>F<<I^u0SB4%n<2*;3uI+RZ2V6xWT;M_O5Wq8;$uQF|U_-
zJ42l@=50g5y!D&cd;Nh(puIC13q&@ruM37lfz7^_U_g|OU*c`;@sR*uu=7q3UcbZJ
zBqh`ZebHzj%6u*12$XoCvhxma#Mc=OuxJdLBCM@D(iw`iv93T@S9k~5n?pN0Lw;`)
z5xIL>1KqLCaL7cj2}fE3enB%TFd#&lyn$%ED?lQn0jQM{*9KzsjaG=P42L$6BTP}K
zb{A?AgCWw|?m#3Orn<#;S(zJrq4v11J+P@e(AwG7*}B>n^O@zF0<pDCRtSpyL7(3r
zVSygFI~3l@f}Jhxt*zc@c{E(Uh@e)=Eo0t*pNsOgM5CgWfC~B9+PXUL;_^ziwxNDi
zowusIs(h(vX}W^g@n^%INEOV05hE*=*qAoKUxLS|=$DP9yD)y**|WgWK|G(6<pjs4
zcRES#DOs+rZz{fOvWW`UC3ziFcqZ|UvY#oug1bu%&PUf6x)!LT$AY&G?7bGe?4q3I
zfCX>u?*}b-x*n<HkOfbDOdZE1J_88yqB>4m@aoz~WoImS>-^!Y1z)6uAU$WnTd%9<
zE%*!z{g4H(d`HC>EqFAHd0e*OlP-1A|0J8PtLo4#c&nfDEO^<3oTbQu&rw2<8Ww!6
z1z%>tTgUTC3*I{ZFSp?3(8i_JSn$?%^jPqdEqXnD@93U>$F`XU^Xxwva}1q8p{MV(
z{(>MHSsFpnNJ$K5*X$bP2=1W5;qxOnN^T>VqJ8)*hg%4ykQhG6;ado%kR3k8;U<D9
zG=`6G_<DjVB!&-icoo6v1ov`y1;NxD!`&RNBAA+Zcsqx$BAA+XxRJwi38p3;uHo=>
zf~m=dD><A`Fg4Y%!Qo7TsfmX3IBX-Bnr4`B_-``+Qx_V(_z@5#mk6dN8a~hAw+W`M
zG<=rBzb2TPYWO5z&p`FBfba}BC~5Z0zwAl8<>|YeyJIrk{^oSycIUQ{^KGu#s~Ow&
z0(rTu+%<b2M4%}Ks=vhfmp&}`KO+89AK5*Li=I<MD?Qqao*#b{D}u1EOJUhUnBY&9
z*IT^{a#(zxr>}Z17+_N3tys3Fzq$(ep@pd7kO!x2FFG25(B2<w&kaQ|x^E?mXAOS>
zl)`T4pCk1TlgN>?+qnNJ?@8=F=XuF}nb+qf_eGxeyU%(0nJ3{M^7P|3(5QJ5%|otd
z*a7$NT+g_F*LQwz;`=DNm^k&*UnkCb4tbpJ%bq^>#SALlce3XU3L&C-$dkxJ_VTtD
z{(E!@<7&`ZW_tQ|UtGBp4e7r496T|SWa_9%eedKYE+24z*t`3~k$A>&s{Vxl#C+Iy
z-qm+Gd*|lFNzXvxe(sh5$8^M6f11tHdKN*G1Hhx59XWrTBK|_faq3tX%8pb2xiCi{
zrwe3(KxPZ1W2ouFk&zz=pY**`gElymxOl*Q+H8n^H#|rUaItsy>5;gTd^r3FIx;Lf
zEi7~0zXEWQb;r;%OzR#6z^x+>2w|6bw(q1)f`@T&L<FNO@zT(xzoR!KpyL8;SIBzm
zB7}U6kdWf~Hfu|`|KR#I{Z3Mm6lmiDpOj?%41t5Vfo-ECX`JMfl0?{Z9_;5WG~BKW
zw~wlN6RO_yxV~o<#C2U*Lqw$L90l4Tix95pLMfFCEoYHEYatL?97C`CZDd5avm5a;
zr|)uJd@4wV<0-l?!+peeA${n}pgl;$`%do4;zhi5Q2%CV0gniCvq=p!spvcX-OE9M
zyr+`VhW?r|0rwap&GYm-K0n2PgV~KYtWTV(Phb@Kv1efNFEMU;29~-o{Go|>WDY$H
zJ8%I2k9+938ggdhMT|m^PQ~y*_3<3PVRKV0{X7Xr7qAG^?bOZ*M?0XG98cp+hvy~7
zQ#Z-%Ky@9kLvQ{Sodj{e`$I=;5sXR~MtKHueuxnn1~mwS>{f%EP&%{^oX>Ho152;x
zQC0mOn1|jF5+Uok$uI>j8^}2)WYKyCmHRe9s&dbRd}ujNG*<LGa$yu2hD^Cju}}Uv
z26ym1YvtPy7C7M%QaPXU{f_HRhQ|cM!&ZjPf~bosxc_9FG)z+rIrj?#y9M7AE8k4;
z4Snu1*Oo`x?jpo}K=9G6?;Rtt`yEdrj<|N5DTHvU@#JMfQnyvoPe{mU@MG*eY4G;^
zE_Wk(WG^VpaB58Kej^b-hd~$tx&BN;!hNzKvHmzDAo6%GL?rfh)WA2@Be<OJpen6V
z7UX1$Dm_o*)xgp^TyIUE*F(+F>A!GmPSQxwL6%{7fNTyQr!w?sz!yDNBTb;o_OHhe
zgL}W@R|UM9^$8e4L3^{%k#DW+TS7ccJitxl-JuzEK9%k{^{X_G_Od6jN{0dq1<6mL
zprALaNtYx769-8o#(=)_c?gzuFlmD@3C8@8hQNWPk6J6d#WY6vi_{E6I=H%l>kSXC
zYl&BfR&gqa-4u0?5OteXR1S!Ex0LO4&pQ{<dWq*3(ADPYGMqh$2WcMTNemPrX-Mp+
zSxo<aD(XA0!(Jz>EQZVr8OY2>Mir)s!lhGW;nHkNp-mL#*kobOyO>fbPE8a#{s0__
zb^HVwOd&p&Pc5}_<Y_*WdYTLxd77+is!zPf+wT-?c$PZ%z|!ZyBSxIEKg0gM(}rba
zxn@7H@s9cHNhA~;IcG`Bz~o(m|37d=G-K?oKOx4p<K*ezPikd2A$%GQwAUk229KX>
z1pjL!O^pj*6|7`8Md%I!6Z^Li*e?=v;!J*N9X2pI_4Gd|3LSM;(Qoozu=GKz=<Ab3
z-%eoP5N10R<h->=<G21u8fiiU^wmfcxS;gM@mmjEGe{jj&oiKxDOXZg2nl^vR(-!9
zNz!OOtKydOiPfvUyI&oNO?Exg{HkYwS1a)vDSw@ZqNryI%PVTW(7XGUk=PBAjhN<A
zt6`KdU4g8)n8DVC!d4#g-07zgM`-j%Fi{7yX!pvAE&ZNF(X;Sa!hKxTDd9fW-weoo
zOsIPd*~ehW5spgiZ$zUFw_$>WYLXa&MKv!9iw}({cwH3W>YKvxT~TmAilJ&>%|pZ8
z3vIo)F!rxMfZV~vOQ`B0RD6kxHxezYZmduIpjKUJPxIJa`m{A@E8nM3z?HUd_W>5a
z3fzCr72E@pKO^YRSm_z)hd+t27a9+Fu63Vv-M@!Jq}hFt+(F3uIyutubyL_{A?zWm
zuy0-(8F|V5M}95n+uh4t`-(BQq*`GvP8W_N+`ap0F@Po(iKAJ{<ZXJ98gpQ&*D7`^
z#Ciq<7rfQU!+L*@=tx{hVt)-m10n&9ThMfKngNkKC^#H%<ruIDF)zpd-9lx$Rpsz|
z<i_WTgYBZL(lNn=5rfkWOkOLvjv^?`;QJ=HhRSiml<O5((F7|J`-2eD&(9v$lfvx3
zpf8S2)%Gt31>)otRDiM~vOX)SupJ0b|I;EFpki1vS6I{kAjuY;mwWFisspYZSlXIK
z&7!LGKPUt^hO&9(#Z|9QkUwrEfA=D<Igzv2B(xdEyBfoD?S8_<%c1<MQpCXII>CRJ
zmH$cbBL*;?Vi)Gah2(n{w_UixZ1DZOIjCFnCLNxG`MTvQ;M)I1@Ip_uspsEG!NAfb
zRy}K>M{&_rho-kfFV)bj5zG%3LG80V5XE?yc!fGz6PS3FFmFK%@EdM&z!U_FI6?C{
z5FPMnXd*e7@*ypT!sD=kU5NGV{v(SmfRTr?gg-G~5=K5jBe@!lzWgpY=)S{+RiF);
zw3&kTkd<}^(ZZqZ!W5`&g#GAwkGbwmd?4|o(<)kcVZL?}6Du0D&h*z5t`;+kGyOd@
z-#Fvx@75`85c7AWHI)MIDHADO!^ENi!%A(_O*e`u`2m<DM$)hSfdT<nP`Sz;{ukH=
zp39z7=doC!@a2OuE~5YjXsz<1C-M4FIqHG-_&CbX)9s(d<MGt!Lc)2Wb)~7b5?U{~
zCt^7@UIFxDCPwQCn<-}a_hh{LvY2gM>pt$fw-z4#9!1Ackk<_NsN^lF%V^j6=p`da
z(~;)jM{w$|5V#rm&Bd<;zdiUphTp6BUBYh{#wqLX)4&w~w;aDM_?1Lg7}eF)*BSiQ
zxltDKbp@(Rq6>_!Xgg24eGy+*wEEVPV9>w7JZ+ngp_Y!a2yU_mV~}BZo15yq?hUKG
z8`pR@ZLY0bH{U2NHRd*l0zJ4n9t-#l+~^NS41XNA`rC~-zrl~(Tvie_+HkWwxWXuj
zO1bK8z4b=F5$y=agMK3vjv0|aEFKAgQ<*RB{byP+boXD1V`ZJ8wqR#_N35Jbd?=6Y
z>J9)EHs(|tmBP>s0hs6u83FaQ!H9*ShdYLBl$u(D0beNIEd?vF3$JVOwcZ|!_*w(r
zD4u^9A2%oox0#A96!VRWe^7dB<u+l^#(2yKw;9oH2sPT^Ia7tjoOr0!7e~E}vhLRE
zlJ2WZy3sUbEFKnc?ilP6nAUJ8))|V!CnT*kuuwDsZq|1ALjGVN!VFnCW<&$NNNWch
zt#%+3i|jJWe692xCTbuy#NV~x!PA}UlFH@5o@<S8%WY_D7_z`1b%7qr!=f_NtNdXQ
z#Y=6|=K34F?k#oh#?AE`H+btBYBy~XHAkxlI@>Kx5jA{~0B`tcyt^Aukph0{gX=8q
zC4*PgHW>B$pj$@7bq05jQD$`!x4a%v!0C8AljmA}!64cv7BI^A<FRTub%7BKgsMyY
zNZ~6)ZKKaG@WLZE`hszE9KUpaD6Hs=ZXcMUw|91TgUhsLR7aOD*4hz>!ah+b<hjY+
zqh|4TpqM3VH@3Cmfffo4L2JT@$+Bc3<2p0E*K`K)REt_Gj%RV>`I8(VBBwP>RosLC
zt}cliN@Qa!f`8I$!EhUiOW_b1q9VLv5F@Qb%*8`~)gOriqt0#dE^-U?H0f9Jm+2)L
zmx@&~DJ+cxQmA@LCmsNz9wtIP6O@nfRDi2;)qT8XeDW|b`K^!rsH9nSH?jreR#{1~
zbAh2w^D})hU{{oM;y;sd0Kp@2)HiwcwHfwnw?h_|3hXn#8yUG9>Cc8oM!tfy=IxP@
z(@1}c^fyR1Ul<ul!xds4E*`~5={m6*=`38){7C5vy^mmw>t8|oqs!n&S_ob`v^$%a
z)|02r$j;DdZ%8q4^yoMbdTRi)+`KipMc2EscIv%s<@9T>T3kFASWdGVX&LMa5~4OY
z?><{yPP(lfl0>;5=ordBomBoQvwR=$zeD*wN#%E&<zE5bgL?jy>`?OUuV_R-HlD`s
z1Js{Cb64fS(Lv?E!OwtSo+89J<!O-n6w0?)%Wa!X{lzGM8|CzD-sHDGYU*DNd<6dG
z&(f8A`{NnPK0nGeEGhXjepODoEQfjys-AnQB2q~QJ#(c)!Ssxkj%<;b`%|!%=ZAXk
zKTX2wx$6uG(`1c~=^`<ozmmV`Q00I6Xe3PVaj8!|t2AT=vlf2nbR!;z>bF0V^c1^v
z6p6%qR(qt>;26oq&PaL{k2F=KW2#7)M;fH?-7=%>JSXX}vf+o)hxs|Tzf#g;ro>^T
z7t<yV|3Ov+cNaN~CFB2yL+$HIHD--;^o=rYlj#nb-Y3(~%Jge8eMY7)%Jemv{#K@c
zmT9_dIJy}|N2yGg$#jiOZ<J}9Ox5#wY(H3Gl&uc5bYiBor2Lxl#S0hD7a6ty@`V3I
z>(OmmI{u0qe&Zd2elw^9ed?Z>R33_98~Z$@spv?iXoRFRj?%R^VTg7Rr+a`I&k&oI
zUX0kVzmEX5m8>MuHb)I%Uckv#dIK<NX%1{kVfOo|w5*lRx}yLL_LmWMw#qnRG<_~{
zT_QP)?k9{b;~|8Z{re<m@k4}3%cvv_J^HeJ?4RkZXIxE~2<3N@WcwYIy^{*<x6tWl
zg3ggk`hZ|*eVncUs?+vS7D9fD+Bx)eeS|<Q{c5PpxCdSMoa0aTq4GLyYjXUV>cVt#
zn&X4N@@yaBKcsw~egy<N{!aNK{W=giKBBy#Z-Z9H2<6M1(;(BqGy*D}|BACi<G^w!
ztydj34%9gRgILly;Bo$h<T^Oe=)9VMbPjBBzDUw^?YppWyYniNmZ_Zv(BZs`q-ASl
zaJTbgRJlA3#GJV(cjRloKuM4DUx{prc0Yh#=T21GF;!a#;9h4V&W<AOWl;Ayr;&h}
z+AjbcaORVM674Mz9CX%@Ipx}40333zC7^->N1Pi7sN}$7&SnA@ap0J9D*;v78Sor;
zt|ZY*xNRq$JE>%ub{-l|vrIqL?%@ooP?6&ZRZ`C(f-g~)>7ODWeVIyi{S=XYjcS|6
z()9u0()D!IEsNTd%+9`u3}LA?IrgH$76AKa069dPo0dMa27+CmgC^z*1J7Jn;jFn9
zK%UK&NipjB1Tbl?Fllw&1@d&)dlWIQr@^H&`v8FSt3Ch`<SmGhy#Ec9=338XOamg#
zMORDRwE{BonB5IGq*tv&L7opP?ORAfYyfZuWsUS5FC(x29;fu3M?k^!&*PNdbDq%p
zn~;)z=kvhi=|hyii}FQm(l1b)PZi3i9BO(ml60MfrR%$KF3>adEGRF`1Y3ra*b47Q
z@MdI^gIEUb|EtN!p!=hf-ysqDCfJjaO{KbiH_jP3Yk<zvUj}7HF69e#y5eWJh^9#2
zN`mt!Z|J`#k&{SR8Oz!NU<b0iZEP%qwwdH*6n-8kAz(6}kmv=ZWD4bV_*1(=hd|e6
zP%&37EY)1oL11%vaJIXCjTT6Ay#h;}u4<e!UF&hqa@~$|w(C{U<hf3P*Kqv{>QU(`
zMgAmnJr0>?nd?Ic?bTe*fNVr#Q~n**=&sR*Hlb9%2K3r6H3=$Cdfz6$8Tus@Y8NQ>
zw(GMA{|=FNO#LP(wcnoszN3a^QAH`BizpEBJZu{68rG`F-)dA1B2R~Q_+=1I{|xb0
zQPwu-nbAy=7ZbT{uw%vvV6`Oz+CF0^%+;3iL3Hq@ncYlVc9wH(K^s#pU4ISdoZG-W
zEr-;uA<j22%G1GTok+FAwWy&`yCzBP+9b7}B(?Pxwbv`PSNxr9-}(@whUJ9o9#Vxv
zJA4Oe86szHC5vo>L3YIlaJ06Q1YeZ&d@jrBzlatUR_!FK?1RVmPVc5#>?C&k;J5Y)
z=k!P`$pO2BCEI5mmY2*aAf<z*F*9Zp_rTo%ZG)d+vtE!i`J4h>1qx?;gKF^Lr#Q_P
zHtV;NMs1y<8-g>^aninUgwr&#Ss5-NKuyVRA(}1JHeX%BX*RG~3nY!wwTEa5P%Z7~
z8cyS3vl}Fh(lz4}>3N#Ei*2w5A-4!Q?NaJaTJ7*VpqqXdFQlw(aLb(ci3y?Ow7)wC
zSscPyBQz$E>(hDf=OZG~@xGYDa!BRe`$=!6mb#@@JA4f&x#)T>+T1wI#So5*aj_gC
zyz+14?it#1lY{|O4?48NM^RdQA4S3pP1v)w1j|PPsmM0i$d!B(d8a*Zu3#&@o*1ss
z=yoc)0xCdVl50xWX=s@D6B2$UmzXd8%vUB{=O-}%F5X2J74wUZZLpzuJwySdaT;B%
z_#SGqV(kd%;qT%vk-idc5yf8da`H-v_FGWf2aoM7ewA9UlwaHIgOBYM_RUlF@fsY4
zQm5UJHNXufrY+QDH!A%x#eTU2x0F_rx(W$4ifa||bC*tMIaGo9tz^S0Ud7an%G%*_
zbZk+@I$lNl;Nd-@j&;0__Q6AYL?!EZCGCR;_lR1qmbE;vN7Qn)tYz;WUJVlLwAUmx
z#0FW>Ev3iEre=+Lo_+Al9$w3Bsve@2+a>4`we(4_rgSFxpiL7U`g?mz|C5|>yM({H
zxAbcyJIH0D%}Z$kuI-e?Pwp-K3AJaBM!l6c!8~e`UDA{zdrN6ns@*B!LwiftQTbgG
zKDf8kOY-iP@X0;1R?6Xm26Z}Ua$ov4V!DHyOzqBQUyxLEIpb9GDUS9^iUWH~-=JFD
zBjMh?rSFoNeG<OBr}QYewEYskxM%i|969KD92fWyseC}jsektDB7vs|Z@m2bAk;o1
z?LNL|wqFwb0`=hp6=c!pwWk2s2Z#2QUM4>tmJG-Cl#<7^FUa!qdrEI3i@&VVz-=FV
zV^8TnkpYiN`p5Q^K1=jpkrtob0|;G@rfV~Jue?b8&uKq7&)_9j^+KKgI8D)59ZqSi
z1!uXYcm$@=nj&?vLbE0tP26oiTaL3`PVnXGKrRX7IzTQx#Ck(5GUUoa&FSr8HjkMf
zq-E^lBKcatM(Y!MX$z^MGJ9DkWh0c`$+LG*_D-@w*VFW0B6Vh>f@#igQkG^(X_>vq
zvP?cpO3PRdzi097GTAgsO3S8FJ)34pX*mxdpO;Ouq_kYh7iQBeDa}PRMcFh<O3S0X
zkxjFtv`HkajOBa*fCt&!Ze(mMlh2aU3cG+30wzC(0+vm)q_ioN*O|+3Z21}y+zT5W
zxAby?5an;(Nd(!Sq5M|D=VkX$ejDM7nC+7Ue1e4MZADhgOl=<R@CqoJ6zB<|kg_x;
z=JR<^Rt*P_?ak*?pX`MYN!_vFO?gx0hd|I#*vYg4Dn(x|xF8F^!HY1<{9mNEkj%&E
z3uHR?e7a6fVAMKkER499VRQ`C6h=cp$)%`Te~LwC8nvxfR*kb<bjp>cTwcmGrCdll
z=v4xny$aM$yL#7yX_K^)+=487?u^_?T7E_z`l+p$Wo2Cl6zVvI*>hK9U7J;30OKT{
z{OAG+?5Bi^G72<%ZdMjiY5?^dlWjT3oDy`@7Z8}Kgd(Cet-gRbvgfe+f(jJolp;fm
z3vE=Ks|@01=AhvUkoovDG}2^k-ZbLNcX0B8sTT6WQSI<~4hTr=6mFtJnK*TnXgT7u
zi0emYS~+S$MDwQA7m!D4iaxiBtD5dGD`mrAG-F8;I1`{QJVm8fj1}`)A!b$<T%Mmn
z#?Ka6^ow$B<us*MD3#Q6NK1Xel4&G#u1V&YH!X?mN~tatUo35g=Se^bKr&K-rLqbV
zoHr^&Rb5(9CMzci=UeSaA-zh<L|CkxMol$tgsBLirnZlU+dqmh5f{3(p;cV*5X?*t
z!7SD8*_MW;_)-y<t0K--V2PbPvuX%{Bo|MTzJoGyB?3?N3<3*OQx-~BNwUeK?jSO&
zGg7<SXzxn1y2mjpa3zld_7{vrHugu7rhSl`gR@5C2Yy<4c?JHX;ns>s91rsFW>ZBx
z8mZ_EwFcvU3E=&q3cOBK(X)J+ciEDKK|Jp3S=b(mSKwA%GNoi2OWD#Hi?VXY#7kP1
z=O5*m{xN!A3-`pzJ76W{{ed>*F^JLQpD3~z(_lnrSWt*3jL4(+jTP9T1WIa*CN{OI
zv@g>7`u5@0nf4@|^f~<8N9SAiJ+ZFp9~2Tz`Zv<!`ucU1KWN`!t0>&TkDa$v=>>gH
zw13*RxbWzSTi(C*{jEozII(r`ffHMg?mJO+^gAc2kgr01(YC+n>z3MgY_YqHz9*j`
zf$Qv3%TL&DEz;w9!Rudq;w`SEE#0<gs(!?_X!5!*+DZz(gCEB~2Ylg)?Qa3zuMaNP
zf50n}u9pKp<^A_hzyRCa0{rU_5TC8I5a(N#+7<}*GZ11sh*Me&CkKJ)1nLAj3Ctug
zo4_0ba|z5NFfZM<3fDt8fGeB)gspO_e)EYVwu&iwr(W?L+ltA0yj@?f$NO&6EA%<G
z1yfL?IY(dbd*Wt&AOEYgt(zQ&J-2c(uchnjY$b*9qx#LZiX#2y*O6XR$crAKTH-bb
zs&Uj-TL?c(G;k#a@kL*()Z@2OzVHW6=+EB+;oph31KNR~{abru_8&7nA1t<;ZFnh7
z8%CVl*guaK`aID8pJSVi?J+V4&DZ-7(>TmHPKodFA{L?U54N?2M0``ks;P!OOVew+
zZMPJ?%-vwSIzN374NVoaxpO#fOS;|pnk^HRUBxT=@d+!ddi7|3gKfed>iWWNJf#e`
zwR!Q{V*N&MB;fOVyJHbaW$qR5;z4#7^R{;QI`RHw(z}=R5PB1e`Kz67yj<wT4vR>v
zCEmtp^8yK$FHP2oXZb9Sz7HKJ5w_5Lig3%85Q^^&5Kp7=f}?zA)2kl2S{{`1(Sjaj
z<9RYS9xA;pzUb)dmg78^<vUSOgEo}mjn&mRdEFjwqZ@Co`a2`obinYIYP-Qtbk{!E
z&0pzshs48dR0Z2p*3@pUZSXdFYB#y7yzZu^jZKWi$#+X@u?N9jyP>&JP%z~mvQpL8
zd=s^;6FUOJqpqiyGZn+A(zc+lJqq2m-ZdMW>fGMu4L8+qSZ&ssn7pm=h_^KyjCX~&
zG2%^Bp^rb$_FEoKld~5sgR`l*xtf5#F$^SjZ+OE&KLrH6?P_`_POp(x$=Yvha@Vij
zVBK?3+q~AZIfZ%&+u;i?!Yiocu?-uW*286+HgBYtW`Wqaj<xK<i?O)21V&q#@9G%a
z;VMKmlCL7BZQ(9@=NPfu<%`^o3YZ1mt&u>Gz7t^7iDyg3!me066sT?wgaVPyR)DlU
zr5cyHh0B&03)_u_=)={m*IZ*PY-_Bq;|}-KZdl#mZt|{as$K6E!4VHdv8@E#d?-Ln
zZP+M6E=q=%aKm;+&^>ssN-kY4d||5C*i4NYrJloI+vWWTTbwNF;M4fxDmL0Lsf)=z
z!*_dF3<w5V7F9t9Tod)}2#Bs>?NQiq!`cHe6=$?lgGa=s2KOq?84S1HPR$rcJDR3b
zsFP#8JSq_sU13ZdR3EPu-N2;wwM1z+p+IYvVgsr(?ZDg6^geb)N4P6cv9kkSx+9K8
zthgzR6L0i|{=g2AtH4Xs3uA$344D=Y5ONpKsA;rQh)h#Gh!05(flzy_gO5cty<nqT
zZ_I&A4K7rUy;xzYGrUZm6K!YhmRzWO(HlL|x>rp$goUCj5RKx+ZZ3+v$w$MK9d5jE
zO?`vgI-t>LVYbzJzPraiT2Z_~P7%nW9i43m{_ZeF2NC{JjP>DeFCXRt)SvN6{0_W=
z?p<W&s+idOf{}(cU5#!A65(hW-4@Bw%?v?||B%=!M`yY7ON1$P2KbI|k7G2fnIYj;
zgE&(y&m+ydBSs$sP-6`u1h2-MOidj0)=_Mke%Q$Og^jv_dI_~Rjc1FixNmE{o7}Zc
zbr{oWcxD(~sqtgfvMSC+HS0HEdtpO^w{GKx&F(Fmd6+Llf5k>ac$BQ-mm~9{C@w6j
zFY$nomoqQC?Oy~QBnTQx7K;Sp2wI9{%n-)B@euY<fdhjMeY`-?$jySn$_*R6P43!F
z8#j!$6{9_AqLgf}-_UGc5XcY9$qg`*hKP8#==5f9<m32qsw=9BD|)x+u43fiCXPBc
zF2@gZtbw5*F@sbF!DuJp9un8*C^|gt=rk*3&Xq9l>GZa7Qp!d7cMLd=_T917L0pN^
z0eKn62*;WHn6pTXoWPVvcXc6<Sa~!S5ow3YVQW{Q9P5_ymUw5-zp&HKIMm^bcCd2)
zt`ImyioV86)PQ6KyeLDA`G`U0x>2!m{;7*{8gW=T|KLS=B+N(c@<4~T4clD<-VS`C
z!Gr_{;vnMNB{)?6wpNfqy05FV6?TLn5T|mkMM%Wg8(4X3xT_2MCqWu$iMN9pAB_kA
zFF@`!Rn*cF3G7fM{1Pim;2D~#{-eW=<&^sVkCl$T`JndsB;)N&?e9s(r!ln;C>ihI
z52CC%%G+5wQ~PkNWp<Xq)PA01yl(FMNyd-;9uJk<vHPep(@H7wcI=>2-*d8-+Oc~|
z?UPEz=dhEsi6rH)vt0B0N7f=c!xOD5tr(HF<H@($cV#WL<4sKUy^CagK08!wSW!H0
zX9f7)(|GtoroMw=WwNu$Ozp2q#!q2te@-%fD(js$o_xAnG4{aI-LXhu?B;H=<YGIM
z_dt`;pdZJ{T+S6Kl>Ej9ZW+8sdl-@qJhDMFkM$c_Xd9>9al?Y+kKs0u^{AD2b3>gh
zya}m>U1-WbSY7d>jpN6*;{foaw}uR}91kI{jS~;Yfgi74bT66PFXaTKtaB2d`gHp@
z5}*1!n(h#hoYd#e8K?-=OFhfzt^pyAJdV#{>TxRW|MFuN@FXYoDQCIFr#^|SmvYpz
z(>y8XCW%*%I~6`4@#-O>ikPUxtEX~>QqDcVkLR~fPk;w{T>2wizKiu1OTjXEg5$@=
z6%~)C_c=~Kwtv0E@nie%SxKMzou@ZAer*4xZDaY#CUVGu+iS)+_&LCjM_)Su-Uoah
z8~a@=`f^GBIOAl9<HvsQik=0Hr}y9l_^(WW|B;lR`uO)(6VQ)LfG@;-82WCOy7{8M
zvsDWGcz#>T>Bl;>0r))hm(=fg-5~L)?MR#A#`8mL0(=7a@$C5m@Z)`#>q`^Jp+{5W
z$@vkdAN&2VUrr$BPr$3bY4yg3z|XZJWWEUZbI1D**({D9%dix9xnUx?ur(5k#^P;l
zm<4*h*Vi?98|pW0#%-L@?~Hk4UAR{i4q;}bJ}_oMdA<Iyw>=nc@dds9SU3{(`r<td
zGpp_(7EAu}Wy_Y)41OFU{!ueAW5XA;@LB~Eb3A{%s|(-qk~2OI@vopIk%}2>^8E|z
zikR|h(LLURoUdF)Z_${`EOi^JylP1m?zBKBeG*NrW)(cnT`&vd;!3if-wlJ9#k5v2
zp(P~LgqAH<Q*ZTMv((ABSKKDyYhrv2j<*o4k16kuhP`6l$-Jv?-cY-qZm@XqSvW<#
zwqfHc+#}k!X3Zw|X7A?ORSj;h_}E)bjrBWa|M0_d@=hZ@&t~}`8~Ek-&eUCsrlb$T
zS<2=2(!>|+q(8;$AmY<<$)<>p!X@LB3Yak7XWcBiq<BkMn5$pw3u~hs^7D2n`lJ|h
zg#@oAf0S?3C-se^!uWUKyw(rHNjm<$xlua#Exi<_<9wHo9v;&N=~5`^Gk~fmCVvD_
zxmUehBlS1&5AKZ`Ais6zP5LrmiW2eN!O;p>D=L=P$qdP(%KtY+^APOvz}!b1YTcyL
zlxYLz2FVA_H}TRu-)KuEYJH{B21$-#l^=Mno^&h+L{n9zU#-JbS|k}sFVQG|HFK{4
zjz|>0TCb_}M;Zz(M+(S1D5G~K6u){;LZz!Dud-j!sk9m8^bUrC)%s7RHIhHoeu?Ja
zl~rYgQ|m;P(tMZ>r9ZX)A(RonvQxcBqS7<6!o*KY$5j3v;D`j<UHFkF*Ow|)@6X8M
zG3_5kft6paPgPoz;&64%RVnR3vhu5StV&m>TtpS0vS(ikzgq9A6ua$`4)T@t_$L6Q
zU$viF7pwH=cwlQiQuRN8LMwmjcZB^`X5>@#A4%ai*V$JJ#(gRNQ|%{88G9TVTEnRL
zQ0sB^-Q`sJRQMV2(tcINuh#7ci-E+EN}mdUA2ej5;#ceYL;pqom%vN0r}))<fFqKh
z))90lzbXBy9nPZ6s$bnN=q}}KtWqTAS@Em%-%|M1eT5^E|Cq@sGKx>7Z>I38`wxxt
zlIfKg#i!ukAVWA+f3*(ZBKeQkC`ys0fcR*ksDElb6@Tg-2o+8$y(IaC^wD!n>hB#z
z@topQXxf#LileeWO8!Z5Gqg#sGBVAXfZy>kK|u3;>yfH!#svJwR|u|h6*y8zD*rsm
zpX$HgUMCoyPiZj4uTmPGQcUEGkFFK`Rf<r6V|+!$YV46DJUQnP5dZ1~vIc%+k}^kK
U|7d(0PyfLiP=KTU|5E?|1AP?G7XSbN

literal 0
HcmV?d00001

diff --git a/lit-test/libartiq_personality/unwind.h b/lit-test/libartiq_support/unwind.h
similarity index 100%
rename from lit-test/libartiq_personality/unwind.h
rename to lit-test/libartiq_support/unwind.h
diff --git a/lit-test/test/lit.cfg b/lit-test/test/lit.cfg
index 9cbc6d070..35da31b04 100644
--- a/lit-test/test/lit.cfg
+++ b/lit-test/test/lit.cfg
@@ -17,11 +17,11 @@ not_ = '{} {}'.format(python_executable, os.path.join(root, 'not.py'))
 config.substitutions.append( ('%not', not_) )
 
 if os.name == 'posix':
-    personality_build = os.path.join(root, 'libartiq_personality')
-    if subprocess.call(['make', '-sC', personality_build]) != 0:
+    support_build = os.path.join(root, 'libartiq_support')
+    if subprocess.call(['make', '-sC', support_build]) != 0:
         lit_config.fatal("Unable to build JIT support library")
 
-    personality_lib = os.path.join(personality_build, 'libartiq_personality.so')
-    config.environment['LIBARTIQ_PERSONALITY'] = personality_lib
+    support_lib = os.path.join(support_build, 'libartiq_support.so')
+    config.environment['LIBARTIQ_SUPPORT'] = support_lib
 
     config.available_features.add('exceptions')
diff --git a/lit-test/test/time/advance.py b/lit-test/test/time/advance.py
new file mode 100644
index 000000000..0faaaa597
--- /dev/null
+++ b/lit-test/test/time/advance.py
@@ -0,0 +1,9 @@
+# RUN: %python -m artiq.compiler.testbench.jit %s
+
+assert now() == 0.0
+delay(100.0)
+assert now() == 100.0
+at(12345.0)
+assert now() == 12345.0
+
+assert now_mu() == 12345000000
diff --git a/lit-test/test/time/advance_mu.py b/lit-test/test/time/advance_mu.py
new file mode 100644
index 000000000..0ff97e1d1
--- /dev/null
+++ b/lit-test/test/time/advance_mu.py
@@ -0,0 +1,7 @@
+# RUN: %python -m artiq.compiler.testbench.jit %s
+
+assert now_mu() == 0
+delay_mu(100)
+assert now_mu() == 100
+at_mu(12345)
+assert now_mu() == 12345
diff --git a/lit-test/test/time/conversion.py b/lit-test/test/time/conversion.py
new file mode 100644
index 000000000..ccabb41cb
--- /dev/null
+++ b/lit-test/test/time/conversion.py
@@ -0,0 +1,4 @@
+# RUN: %python -m artiq.compiler.testbench.jit %s
+
+assert seconds_to_mu(2.0) == 2000000
+assert mu_to_seconds(1500000) == 1.5
diff --git a/soc/runtime/ksupport.c b/soc/runtime/ksupport.c
index c059ea42c..244dcb7c0 100644
--- a/soc/runtime/ksupport.c
+++ b/soc/runtime/ksupport.c
@@ -19,6 +19,8 @@
 
 void ksupport_abort(void);
 
+int64_t now;
+
 /* compiler-rt symbols */
 extern void __divsi3, __modsi3, __ledf2, __gedf2, __unorddf2, __eqdf2, __ltdf2,
     __nedf2, __gtdf2, __negsf2, __negdf2, __addsf3, __subsf3, __mulsf3,
@@ -87,8 +89,7 @@ static const struct symbol runtime_exports[] = {
     {"abort", &ksupport_abort},
 
     /* proxified syscalls */
-    {"now_init", &now_init},
-    {"now_save", &now_save},
+    {"now", &now},
 
     {"watchdog_set", &watchdog_set},
     {"watchdog_clear", &watchdog_clear},
@@ -212,7 +213,10 @@ int main(void)
         void (*kernel_init)() = request->library_info->init;
 
         mailbox_send_and_wait(&load_reply);
+
+        now = now_init();
         kernel_init();
+        now_save(now);
 
         struct msg_base finished_reply;
         finished_reply.type = MESSAGE_TYPE_FINISHED;