Fix tracing atomic instructions
Atomic instructions were calling the trace logging with the wrong element size,
causing assertion failures when tracing them. Fix this, and add atomic
instructions to the trace tests.
diff --git a/test/test-trace-reference/log-branch-colour b/test/test-trace-reference/log-branch-colour
index b329436..7caf1a4 100644
--- a/test/test-trace-reference/log-branch-colour
+++ b/test/test-trace-reference/log-branch-colour
@@ -3188,3 +3188,196 @@
# [1;35m z5<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x5555555555555555[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x55[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x55[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x55[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x55[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x55a9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x55a9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x55a9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x55a9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x555556f9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x555556f9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x555556f9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x555556f9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x555555555555b18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x555555555555b18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x555555555555b18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x555555555555b18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x8d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x8d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0xb18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0xb18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x5555b18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x5555b18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x555555555555b18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x555555555555b18d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x95[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x95[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x95[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x95[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000003469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000469d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003ff9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003ff9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003ff9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0003ff9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x0000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x000000000000009d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x9d[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x0000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x0000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x0000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x0000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x00000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x00000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x00000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x00000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x00[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<7:0>: [0;36m 0x00[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x0000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<15:0>: [0;36m 0x0000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x00000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<31:0>: [0;36m 0x00000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;36m x0<63:0>: [0;36m0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m