diff --git a/evaluations/rv-kmir_4_takahser.md b/evaluations/rv-kmir_4_takahser.md
index bc1c0468c..d44ea02ab 100644
--- a/evaluations/rv-kmir_4_takahser.md
+++ b/evaluations/rv-kmir_4_takahser.md
@@ -11,7 +11,7 @@
 | **0a.** | License | <ul><li>[x] </li></ul>| [BDS-3](https://github.com/runtimeverification/mir-semantics/blob/ee4f434814ea255219c58a9995ee6f6d254811e7/LICENSE) | - |
 | **0b.** | Documentation | <ul><li>[ ] </li></ul>| | See [Documentation Feedback](#documentation-feedback) |
 | **0c.** | Testing and Testing Guide | <ul><li>[ ] </li></ul>| | See [Docker Feedback](#docker-feedback) |
-| **0d.** | Docker | <ul><li>[ ] </li></ul>| | See [Docker Feedback](#docker-feedback) |
+| **0d.** | Docker | <ul><li>[x] </li></ul>| | See [Docker Feedback](#docker-feedback) |
 | 1. | KMIR documentation | <ul><li>[ ] </li></ul>| | (to be evaluated after 0b.-0d. are fixed) |
 | 2. | **kup** integration | <ul><li>[ ] </li></ul>| | (to be evaluated after 0b.-0d. are fixed) |
 | 3. | Blog post | <ul><li>[ ] </li></ul>| | (to be evaluated after 0b.-0d. are fixed) |
@@ -23,6 +23,34 @@
 ## Documentation Feedback
 
 - [x] install instructions for the prerequsites ~~are missing~~ have been [added](https://github.com/runtimeverification/mir-semantics/issues/271) (python, pip, poetry)
+- [ ] `make build` fails, whether I run it on the repos root path or inside the `kmir` directory:
+    ```bash
+    # make build
+    make: *** No rule to make target 'build'.  Stop.
+    ```
+
+    ```bash
+    ~/mir-semantics/kmir# make build
+    poetry install
+
+    RuntimeError
+
+    The Poetry configuration is invalid:
+        - Additional properties are not allowed ('group' was unexpected)
+    
+
+    at /usr/lib/python3/dist-packages/poetry/core/factory.py:43 in create_poetry
+        39│             message = ""
+        40│             for error in check_result["errors"]:
+        41│                 message += "  - {}\n".format(error)
+        42│ 
+        →  43│             raise RuntimeError("The Poetry configuration is invalid:\n" + message)
+        44│ 
+        45│         # Load package
+        46│         name = local_config["name"]
+        47│         version = local_config["version"]
+    make: *** [Makefile:30: poetry-install] Error 1
+```
 
 ## Docker Feedback
 
@@ -51,368 +79,477 @@
     1. Sign in to your Docker account → docker login
     2. View a summary of image vulnerabilities and recommendations → docker scout quickview
     ```
-- [ ] currently there are lots of errors when running the tests using docker :
+- [ ] currently there are lots of errors when running the tests using docker on MacOS, however, they pass when running them on ubuntu:
 
-    ```zsh
-    % docker run --name mir-semantics --rm -it -u user --workdir /home/user mir-semantics:$(cat ./deps/k_release) make -C kmir test-integration
-    WARNING: The requested image's platform (linux/amd64) does not match the detected host platform (linux/arm64/v8) and no specific platform was requested
+    ```bash
+    # docker run --name kmir-container --rm --interactive --tty --detach --workdir /home/user kmir-tests &&
+    docker cp . kmir-container:/home/user &&
+    docker exec kmir-container chown -R user:user /home/user &&
+    docker exec --user user kmir-container make -C kmir test-integration
+    b7088d1dbf406aca16e6cc3b466cbe8780166434975f6bdc55911a4e5cb4f5ad
+    Successfully copied 3.18MB to kmir-container:/home/user
     make: Entering directory '/home/user/kmir'
     poetry install
     Creating virtualenv kmir-3fIw2bCi-py3.10 in /home/user/.cache/pypoetry/virtualenvs
-    Installing dependencies from lock file
-
-    Package operations: 48 installs, 0 updates, 0 removals
 
     (...)
 
-    Installing the current project: kmir (0.1.0)
-    poetry run pytest src/tests/integration/test_parse.py --numprocesses=4 --durations=0 --maxfail=1 --verbose 
+    poetry run pytest -ra                                              \
+            src/tests/integration/test_parse.py                               \
+            src/tests/integration/test_run.py                                 \
+            src/tests/integration/test_prove.py                               \
+            --numprocesses=4 --durations=0 --maxfail=1 --verbose  \
 
-    ====================================================================================================================================================================== test session starts ======================================================================================================================================================================
+    ============================= test session starts ==============================
     platform linux -- Python 3.10.12, pytest-7.4.3, pluggy-1.3.0 -- /home/user/.cache/pypoetry/virtualenvs/kmir-3fIw2bCi-py3.10/bin/python
     cachedir: .pytest_cache
     rootdir: /home/user/kmir
-    plugins: mock-3.12.0, pyk-0.1.506, xdist-3.4.0, timeout-2.1.0
-    4 workers [2695 items]  
+    plugins: xdist-3.5.0, timeout-2.1.0, pyk-0.1.540, mock-3.12.0
+    created: 4/4 workers
+    4 workers [185 items]
+
     scheduling tests via LoadScheduling
 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-intrinsic-assume.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/empty-allocation-non-null.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/fun-indirect-call.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/pattern/issue-11577.mir]   
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-intrinsic-assume.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-dereference.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-dereference.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-arguments.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-arguments.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-path.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-path.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-reference.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-reference.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-array-empty.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-array-empty.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-path-fn.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-path-fn.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-float.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-float.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-const-eval-counter.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-const-eval-counter.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-trait-object.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-trait-object.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-destination.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-destination.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-array-identifier-len.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-array-identifier-len.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-deinit.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-deinit.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-closure-reference.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-closure-reference.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-assignment.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-assignment.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-literal-as.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-literal-as.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-mir-closure.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-mir-closure.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-dyn.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-dyn.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-enum.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-enum.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-arithmetic.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-arithmetic.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-move.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-move.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-simple.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-simple.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-path-fn-ambiguity.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-path-fn-ambiguity.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/generic-param-type.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/generic-param-type.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-precedence.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-precedence.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/builtins-shallow-init-box.mir] 
-    [gw0] [  0%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/builtins-shallow-init-box.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-operators.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-operators.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope-debug.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope-debug.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-array-expr.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-array-expr.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-slice.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-slice.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/debug.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/debug.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/builtins-deref_copy.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/builtins-deref_copy.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-array-const.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-array-const.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-function-path.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-function-path.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-parameters.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-parameters.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-as.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-as.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-int.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-int.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-anonymous.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-anonymous.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-typed-field.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-typed-field.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-reference.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-reference.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-path-impl-type.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-path-impl-type.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-discriminant.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-discriminant.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-struct.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-struct.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/blocks-basic.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/blocks-basic.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-assignment-destination.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-assignment-destination.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-literal.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-literal.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-struct.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-struct.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-assignment.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-assignment.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/blocks-cleanup.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/blocks-cleanup.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-storage-live.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-storage-live.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-discriminant.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-discriminant.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-alloc.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-alloc.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/builtins-sizeof.mir] 
-    [gw0] [  1%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/builtins-sizeof.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-generic-args.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-generic-args.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-mutable.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-mutable.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-anonymous-closure.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-anonymous-closure.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-unreachable.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-unreachable.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-enum-same-as-builtin.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-enum-same-as-builtin.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-unary.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-unary.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-enum-cast.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-enum-cast.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-resume.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-resume.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-generator.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-generator.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-static.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-static.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-generator.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-generator.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-function-pointer.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-function-pointer.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-variable.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-variable.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-goto.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-goto.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/generic-param-lifetime.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/generic-param-lifetime.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-reference.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-reference.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-tuple.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-tuple.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-constant-index.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-constant-index.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/bindings.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/bindings.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-impl-reference-sum.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-impl-reference-sum.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-shim.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-shim.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-path-closure.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-path-closure.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-call.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-call.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/builtins-alignof.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/builtins-alignof.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-impl.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-impl.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-slice.mir] 
-    [gw0] [  2%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-slice.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-empty.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-empty.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-switchInt.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-switchInt.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope-binding.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope-binding.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-cast.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-cast.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-empty-generic-args.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-empty-generic-args.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-with-name.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-with-name.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/mir-multiple-functions.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/mir-multiple-functions.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-storage-dead.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-storage-dead.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-multiline.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-multiline.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-move.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-call-move.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-variable.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-variable.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/struct-constructor.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/struct-constructor.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-array-repeat.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-array-repeat.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/generic-args.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/generic-args.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-qualified-path.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-qualified-path.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-parenthesis.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-parenthesis.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-never.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-never.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-constructor.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-constructor.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-empty-tuple.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-empty-tuple.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-bool.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-bool.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lifetime.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lifetime.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-path-constant-closure.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-path-constant-closure.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-static.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-static.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-path-int.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-path-int.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-path-location.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-path-location.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-function.mir] 
-    [gw0] [  3%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-function.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-named.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-named.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-field.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-field.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-path-segment.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-path-segment.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-const.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-for-constant-const.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-path-fn.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-path-fn.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-strings.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-strings.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-uninitialized.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/data-alloc-uninitialized.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope-complex.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope-complex.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-assume.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-assume.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope-scope.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/scope-scope.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-struct-hex-field.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-struct-hex-field.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/debug-complex.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/debug-complex.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-len.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-len.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-as-type.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-as-type.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-list.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-list.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-tuple.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/const-tuple.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-intrinsic-copy-non-overlapping.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/statement-intrinsic-copy-non-overlapping.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-as-variant.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-as-variant.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-return.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-return.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-reference-double.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-reference-double.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-typed-field-complex.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-typed-field-complex.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-assert.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-assert.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-opaque.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-opaque.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/promoted-definition.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/promoted-definition.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-tuple.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-tuple.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-ampersand.mir] 
-    [gw0] [  4%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-ampersand.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-impl-trait.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-impl-trait.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-path-simple.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/function-path-simple.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-raw-pointer.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-raw-pointer.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-indexing.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-indexing.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-const.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-const.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-array-move.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rvalue-array-move.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-async.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-async.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-dereference-complex.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/lvalue-dereference-complex.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-grouped.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/rust-expression-grouped.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-destination-int-list.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/terminator-destination-int-list.mir] 
-    src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-array.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_handwritten_syntax[handwritten-mir/parsing/type-array.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/lambda-infer-unresolved.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/lambda-infer-unresolved.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/lexical-scoping.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/lexical-scoping.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/unused-move.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/unused-move.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/realloc-16687.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/realloc-16687.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/big-literals.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/big-literals.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/builtin-clone-unwind.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/builtin-clone-unwind.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/write-fmt-errors.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/write-fmt-errors.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/type-param-constraints.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/type-param-constraints.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/ext-expand-inner-exprs.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/ext-expand-inner-exprs.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/borrow-by-val-method-receiver.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/borrow-by-val-method-receiver.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/path-lookahead.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/path-lookahead.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/nullable-pointer-iotareduction.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/nullable-pointer-iotareduction.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/can-copy-pod.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/can-copy-pod.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/deprecation-in-force-unstable.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/deprecation-in-force-unstable.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/typestate-multi-decl.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/typestate-multi-decl.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/multibyte.mir] 
-    [gw0] [  5%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/multibyte.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/utf8_idents.mir] 
-    [gw0] [  6%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/utf8_idents.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/extoption_env-not-defined.mir] 
-    [gw0] [  6%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/extoption_env-not-defined.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/newtype.mir] 
-    [gw0] [  6%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/newtype.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/trailing-comma.mir] 
-    [gw0] [  6%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/trailing-comma.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/unnamed_argument_mode.mir] 
-    [gw0] [  6%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/unnamed_argument_mode.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/backtrace.mir] 
-    [gw0] [  6%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/backtrace.mir] 
-    src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/struct-ctor-mangling.mir] 
-    [gw0] [  6%] ERROR src/tests/integration/test_parse.py::test_compiletest[compiletest-rs/ui/struct-ctor-mangling.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/generic-param-type.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-repeat.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-alignof.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-qualified-path.mir] 
+
+    [gw1] [  0%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-qualified-path.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-tuple.mir] 
+    [gw1] [  1%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-tuple.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/blocks-basic.mir] 
+    [gw1] [  1%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/blocks-basic.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-parameters.mir] 
+    [gw1] [  2%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-parameters.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-storage-dead.mir] 
+    [gw1] [  2%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-storage-dead.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-float.mir] 
+    [gw1] [  3%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-float.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-move.mir] 
+    [gw1] [  3%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-move.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-reference.mir] 
+    [gw1] [  4%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-reference.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope-complex.mir] 
+    [gw1] [  4%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope-complex.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-indexing.mir] 
+    [gw1] [  5%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-indexing.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-empty.mir] 
+    [gw1] [  5%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-empty.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-struct.mir] 
+    [gw1] [  6%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-struct.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-len.mir] 
+    [gw1] [  7%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-len.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-multiline.mir] 
+    [gw1] [  7%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-multiline.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-sizeof.mir] 
+    [gw1] [  8%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-sizeof.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-generator.mir] 
+    [gw1] [  8%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-generator.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-empty.mir] 
+    [gw1] [  9%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-empty.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-trait-object.mir] 
+    [gw1] [  9%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-trait-object.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-never.mir] 
+    [gw1] [ 10%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-never.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-assume.mir] 
+    [gw1] [ 10%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-assume.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-unary.mir] 
+    [gw1] [ 11%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-unary.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-literal-as.mir] 
+    [gw1] [ 11%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-literal-as.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/bindings.mir] 
+    [gw1] [ 12%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/bindings.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-generator.mir] 
+    [gw1] [ 12%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-generator.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-assert.mir] 
+    [gw1] [ 13%] SKIPPED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-assert.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-tuple.mir] 
+    [gw1] [ 14%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-tuple.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-as.mir] 
+    [gw1] [ 14%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-as.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-mir-closure.mir] 
+    [gw1] [ 15%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-mir-closure.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-named.mir] 
+    [gw1] [ 15%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-named.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-reference.mir] 
+    [gw1] [ 16%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-reference.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/generic-args.mir] 
+    [gw1] [ 16%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/generic-args.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope.mir] 
+    [gw1] [ 17%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-slice.mir] 
+    [gw1] [ 17%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-slice.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-static.mir] 
+    [gw1] [ 18%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-static.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-bool.mir] 
+    [gw1] [ 18%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-bool.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-enum-cast.mir] 
+    [gw1] [ 19%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-enum-cast.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-path-segment.mir] 
+    [gw1] [ 20%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-path-segment.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-typed-field-complex.mir] 
+    [gw1] [ 20%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-typed-field-complex.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-struct-hex-field.mir] 
+    [gw1] [ 21%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-struct-hex-field.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-with-name.mir] 
+    [gw1] [ 21%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-with-name.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope-scope.mir] 
+    [gw1] [ 22%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope-scope.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-list.mir] 
+    [gw1] [ 22%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-list.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-function.mir] 
+    [gw1] [ 23%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-function.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-variable.mir] 
+    [gw1] [ 23%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-variable.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-goto.mir] 
+    [gw1] [ 24%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-goto.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/generic-param-lifetime.mir] 
+    [gw1] [ 24%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/generic-param-lifetime.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-return.mir] 
+    [gw1] [ 25%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-return.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-const.mir] 
+    [gw1] [ 25%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-const.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-path-impl-type.mir] 
+    [gw1] [ 26%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-path-impl-type.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-path-fn.mir] 
+    [gw1] [ 27%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-path-fn.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-parenthesis.mir] 
+    [gw1] [ 27%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-parenthesis.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-move.mir] 
+    [gw1] [ 28%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-move.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-array-identifier-len.mir] 
+    [gw1] [ 28%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-array-identifier-len.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-function-pointer.mir] 
+    [gw1] [ 29%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-function-pointer.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-arguments.mir] 
+    [gw1] [ 29%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-arguments.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call.mir] 
+    [gw1] [ 30%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-precedence.mir] 
+    [gw1] [ 30%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-precedence.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-path-fn.mir] 
+    [gw1] [ 31%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-path-fn.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-move.mir] 
+    [gw1] [ 31%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-move.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-path-simple.mir] 
+    [gw1] [ 32%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-path-simple.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-empty-tuple.mir] 
+    [gw1] [ 32%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-empty-tuple.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-dereference.mir] 
+    [gw1] [ 33%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-dereference.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-closure-reference.mir] 
+    [gw1] [ 34%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-closure-reference.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-raw-pointer.mir] 
+    [gw1] [ 34%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-raw-pointer.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope-debug.mir] 
+    [gw1] [ 35%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope-debug.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-resume.mir] 
+    [gw3] [ 35%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-alignof.mir] 
+    [gw1] [ 36%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-resume.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-reference-double.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope-binding.mir] 
+    [gw3] [ 36%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope-binding.mir] 
+    [gw1] [ 37%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-reference-double.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-path-location.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-enum-same-as-builtin.mir] 
+    [gw1] [ 37%] SKIPPED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-enum-same-as-builtin.mir] 
+    [gw3] [ 38%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-path-location.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-reference.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-array-expr.mir] 
+    [gw1] [ 38%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-array-expr.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lifetime.mir] 
+    [gw3] [ 39%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-reference.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-path-constant-closure.mir] 
+    [gw1] [ 40%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lifetime.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/struct-constructor.mir] 
+    [gw3] [ 40%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-path-constant-closure.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-cast.mir] 
+    [gw1] [ 41%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/struct-constructor.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-slice.mir] 
+    [gw3] [ 41%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-cast.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-intrinsic-assume.mir] 
+    [gw1] [ 42%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-slice.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-destination-int-list.mir] 
+    [gw3] [ 42%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-intrinsic-assume.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-impl-reference-sum.mir] 
+    [gw1] [ 43%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-destination-int-list.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-tuple.mir] 
+    [gw3] [ 43%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-impl-reference-sum.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-dereference-complex.mir] 
+    [gw1] [ 44%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-tuple.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-struct.mir] 
+    [gw3] [ 44%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-dereference-complex.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-anonymous.mir] 
+    [gw1] [ 45%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-struct.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-assignment-destination.mir] 
+    [gw3] [ 45%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-anonymous.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-opaque.mir] 
+    [gw1] [ 46%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-assignment-destination.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-literal.mir] 
+    [gw3] [ 47%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-opaque.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc.mir] 
+    [gw1] [ 47%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-literal.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-mutable.mir] 
+    [gw1] [ 48%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-mutable.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-shim.mir] 
+    [gw3] [ 48%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-impl.mir] 
+    [gw1] [ 49%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-shim.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-dyn.mir] 
+    [gw1] [ 49%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-dyn.mir] 
+    [gw3] [ 50%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-impl.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-path.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-strings.mir] 
+    [gw3] [ 50%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-path.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-generic-args.mir] 
+    [gw1] [ 51%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-strings.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-const.mir] 
+    [gw3] [ 51%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-generic-args.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-path-int.mir] 
+    [gw1] [ 52%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-const.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-arithmetic.mir] 
+    [gw3] [ 52%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-path-int.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-storage-live.mir] 
+    [gw3] [ 53%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-storage-live.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-alloc.mir] 
+    [gw1] [ 54%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-arithmetic.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/promoted-definition.mir] 
+    [gw3] [ 54%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-alloc.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/mir-multiple-functions.mir] 
+    [gw1] [ 55%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/promoted-definition.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-array.mir] 
+    [gw3] [ 55%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/mir-multiple-functions.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/debug-complex.mir] 
+    [gw3] [ 56%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/debug-complex.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-operators.mir] 
+    [gw1] [ 56%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-array.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-function-path.mir] 
+    [gw3] [ 57%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-operators.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-constructor.mir] 
+    [gw3] [ 57%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-constructor.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-as-variant.mir] 
+    [gw3] [ 58%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-as-variant.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-deinit.mir] 
+    [gw1] [ 58%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-function-path.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-empty-generic-args.mir] 
+    [gw3] [ 59%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-deinit.mir] 
+    [gw1] [ 60%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-empty-generic-args.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-assignment.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-simple.mir] 
+    [gw1] [ 60%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-simple.mir] 
+    [gw3] [ 61%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-assignment.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-deref_copy.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-discriminant.mir] 
+    [gw3] [ 61%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-deref_copy.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-async.mir] 
+    [gw1] [ 62%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-discriminant.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-const-eval-counter.mir] 
+    [gw3] [ 62%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-async.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-static.mir] 
+    [gw3] [ 63%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-static.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-grouped.mir] 
+    [gw1] [ 63%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-const-eval-counter.mir] 
+    [gw3] [ 64%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-grouped.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-uninitialized.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-constant-index.mir] 
+    [gw1] [ 64%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-constant-index.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/arrays/array.mir] 
+    [gw1] [ 65%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/arrays/array.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/traits/derive-copy-struct.mir] 
+    [gw1] [ 65%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/traits/derive-copy-struct.mir] 
+    [gw3] [ 66%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-uninitialized.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-ampersand.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/traits/defined-trait.mir] 
+    [gw1] [ 67%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/traits/defined-trait.mir] 
+    [gw3] [ 67%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-ampersand.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/debug.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/fibonacci.mir] 
+    [gw3] [ 68%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/debug.mir] 
+    src/tests/integration/test_parse.py::test_compiletest[test_id0-input_path0] 
+    [gw3] [ 68%] SKIPPED src/tests/integration/test_parse.py::test_compiletest[test_id0-input_path0] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/recursion-simple.mir] 
+    [gw1] [ 69%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/fibonacci.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/mutual_recursion.mir] 
+    [gw2] [ 69%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-repeat.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-field.mir] 
+    [gw2] [ 70%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-field.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-assignment.mir] 
+    [gw2] [ 70%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-assignment.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-int.mir] 
+    [gw2] [ 71%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-int.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-intrinsic-copy-non-overlapping.mir] 
+    [gw2] [ 71%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-intrinsic-copy-non-overlapping.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-call.mir] 
+    [gw2] [ 72%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-call.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-unreachable.mir] 
+    [gw2] [ 72%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-unreachable.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-path-closure.mir] 
+    [gw2] [ 73%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-path-closure.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/blocks-cleanup.mir] 
+    [gw2] [ 74%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/blocks-cleanup.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-shallow-init-box.mir] 
+    [gw2] [ 74%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-shallow-init-box.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-destination.mir] 
+    [gw2] [ 75%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-destination.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/slices/slice.mir] 
+    [gw2] [ 75%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/slices/slice.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/enums/enum.mir] 
+    [gw2] [ 76%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/enums/enum.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/closures/closure-no-args.mir] 
+    [gw2] [ 76%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/closures/closure-no-args.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/closures/closure-args.mir] 
+    [gw2] [ 77%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/closures/closure-args.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/assert/assert_eq.mir] 
+    [gw3] [ 77%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/recursion-simple.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/memory/box.mir] 
+    [gw3] [ 78%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/memory/box.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/structs/struct.mir] 
+    [gw3] [ 78%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/structs/struct.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/tuples/tuple-eq.mir] 
+    [gw3] [ 79%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/tuples/tuple-eq.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/tuples/tuples-simple.mir] 
+    [gw1] [ 80%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/mutual_recursion.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/recursion-simple-match.mir] 
+    [gw2] [ 80%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/assert/assert_eq.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/generics/generic.mir] 
+    [gw2] [ 81%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/generics/generic.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/ref-deref/ref-deref.mir] 
+    [gw3] [ 81%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/tuples/tuples-simple.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/ref-deref/strange-ref-deref.mir] 
+    [gw1] [ 82%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/recursion-simple-match.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/ref-deref/double-ref-deref.mir] 
+    [gw2] [ 82%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/ref-deref/ref-deref.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/functions/sum-to-n.mir] 
+    [gw3] [ 83%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/ref-deref/strange-ref-deref.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/integers/modulo.mir] 
+    [gw3] [ 83%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/integers/modulo.mir] 
+    [gw1] [ 84%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/ref-deref/double-ref-deref.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/integers/binop.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/integers/primitive-type-bounds.mir] 
+    [gw2] [ 84%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/functions/sum-to-n.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/integers/div.mir] 
+    [gw2] [ 85%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/integers/div.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/str-empty.mir] 
+    [gw2] [ 85%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/str-empty.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/std-string-empty.mir] 
+    [gw2] [ 86%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/std-string-empty.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/char-trivial.mir] 
+    [gw2] [ 87%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/char-trivial.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/std-to-string.mir] 
+    [gw2] [ 87%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/std-to-string.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/str-trivial.mir] 
+    [gw2] [ 88%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/strings-chars/str-trivial.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/option/option-construction.mir] 
+    [gw1] [ 88%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/integers/primitive-type-bounds.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/integers/const-arithm-simple.mir] 
+    [gw3] [ 89%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/integers/binop.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/integers/shl_min.mir] 
+    [gw3] [ 89%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/integers/shl_min.mir] 
+    src/tests/integration/test_prove.py::test_handwritten[prove-rs/empty-program.k] 
+    [gw2] [ 90%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/option/option-construction.mir] 
+    src/tests/integration/test_run.py::test_handwritten[run-rs/floats/float.mir] 
+    [gw2] [ 90%] SKIPPED src/tests/integration/test_run.py::test_handwritten[run-rs/floats/float.mir] 
+    src/tests/integration/test_prove.py::test_handwritten[prove-rs/simple-spec.k] 
+    [gw1] [ 91%] PASSED src/tests/integration/test_run.py::test_handwritten[run-rs/integers/const-arithm-simple.mir] 
+    src/tests/integration/test_run.py::test_compiletest[test_id0-input_path0] 
+    [gw1] [ 91%] SKIPPED src/tests/integration/test_run.py::test_compiletest[test_id0-input_path0] 
+    [gw0] [ 92%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/generic-param-type.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-path-fn-ambiguity.mir] 
+    [gw0] [ 92%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-path-fn-ambiguity.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-impl-trait.mir] 
+    [gw0] [ 93%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-impl-trait.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-const.mir] 
+    [gw0] [ 94%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-const.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-as-type.mir] 
+    [gw0] [ 94%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-as-type.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-anonymous-closure.mir] 
+    [gw0] [ 95%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-anonymous-closure.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-typed-field.mir] 
+    [gw0] [ 95%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-typed-field.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-variable.mir] 
+    [gw0] [ 96%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-variable.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-switchInt.mir] 
+    [gw0] [ 96%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-switchInt.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-enum.mir] 
+    [gw0] [ 97%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-enum.mir] 
+    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-discriminant.mir] 
+    [gw0] [ 97%] PASSED src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-discriminant.mir] 
+    [gw3] [ 98%] PASSED src/tests/integration/test_prove.py::test_handwritten[prove-rs/empty-program.k] 
+    src/tests/integration/test_prove.py::test_handwritten[prove-rs/verify.k] 
+    [gw3] [ 98%] SKIPPED src/tests/integration/test_prove.py::test_handwritten[prove-rs/verify.k] 
+    [gw2] [ 99%] PASSED src/tests/integration/test_prove.py::test_handwritten[prove-rs/simple-spec.k] 
+    src/tests/integration/test_prove.py::test_handwritten[prove-rs/lemmas.k] 
+    [gw2] [100%] PASSED src/tests/integration/test_prove.py::test_handwritten[prove-rs/lemmas.k] 
+
+    ============================== slowest durations ===============================
+    247.08s setup    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/generic-param-type.mir]
+    243.44s setup    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-repeat.mir]
+    243.18s setup    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-alignof.mir]
+    242.52s setup    src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-qualified-path.mir]
+    218.38s call     src/tests/integration/test_prove.py::test_handwritten[prove-rs/simple-spec.k]
+    44.05s call     src/tests/integration/test_prove.py::test_handwritten[prove-rs/lemmas.k]
+    35.16s call     src/tests/integration/test_prove.py::test_handwritten[prove-rs/empty-program.k]
+    0.20s call     src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/mutual_recursion.mir]
+    0.20s call     src/tests/integration/test_run.py::test_handwritten[run-rs/integers/const-arithm-simple.mir]
+    0.17s call     src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/recursion-simple.mir]
+    0.14s call     src/tests/integration/test_run.py::test_handwritten[run-rs/integers/binop.mir]
+    0.13s call     src/tests/integration/test_run.py::test_handwritten[run-rs/assert/assert_eq.mir]
+    0.12s call     src/tests/integration/test_run.py::test_handwritten[run-rs/tuples/tuples-simple.mir]
+    0.11s call     src/tests/integration/test_run.py::test_handwritten[run-rs/recursion/recursion-simple-match.mir]
+    0.10s call     src/tests/integration/test_run.py::test_handwritten[run-rs/option/option-construction.mir]
+    0.10s call     src/tests/integration/test_run.py::test_handwritten[run-rs/functions/sum-to-n.mir]
+    0.09s call     src/tests/integration/test_run.py::test_handwritten[run-rs/ref-deref/strange-ref-deref.mir]
+    0.09s call     src/tests/integration/test_run.py::test_handwritten[run-rs/integers/primitive-type-bounds.mir]
+    0.09s call     src/tests/integration/test_run.py::test_handwritten[run-rs/ref-deref/double-ref-deref.mir]
+    0.09s call     src/tests/integration/test_run.py::test_handwritten[run-rs/ref-deref/ref-deref.mir]
+    0.04s teardown src/tests/integration/test_run.py::test_compiletest[test_id0-input_path0]
+    0.04s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/generic-args.mir]
+    0.03s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-empty-tuple.mir]
+    0.03s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/lvalue-indexing.mir]
+    0.02s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/blocks-basic.mir]
+    0.02s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-empty.mir]
+    0.02s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope.mir]
+    0.02s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-tuple.mir]
+    0.02s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-len.mir]
+    0.02s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-mir-closure.mir]
+    0.02s teardown src/tests/integration/test_prove.py::test_handwritten[prove-rs/verify.k]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-slice.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/const-struct.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-path-simple.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-multiline.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-array.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/data-alloc-uninitialized.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-path-fn.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-parameters.mir]
+    0.01s teardown src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-discriminant.mir]
+    0.01s teardown src/tests/integration/test_prove.py::test_handwritten[prove-rs/lemmas.k]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-generator.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-array-move.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-static.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/terminator-call-function-path.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-closure-reference.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rvalue-tuple.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/scope-debug.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-const-eval-counter.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/builtins-sizeof.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/promoted-definition.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-qualified-path.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-reference.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-impl.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/mir-multiple-functions.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/function-for-constant-named.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/type-raw-pointer.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/rust-expression-precedence.mir]
+    0.01s call     src/tests/integration/test_parse.py::test_handwritten_syntax[parse-mir/statement-discriminant.mir]
+
+    (494 durations < 0.005s hidden.  Use -vv to show these durations.)
+    =========================== short test summary info ============================
+    SKIPPED [2] src/tests/integration/test_parse.py:26: Skipped
+    SKIPPED [21] src/tests/integration/test_run.py:33: Skipped
+    SKIPPED [1] src/tests/integration/test_parse.py:46: got empty parameter set ('test_id', 'input_path'), function test_compiletest at /home/user/kmir/src/tests/integration/test_parse.py:45
+    SKIPPED [1] src/tests/integration/test_run.py:47: got empty parameter set ('test_id', 'input_path'), function test_compiletest at /home/user/kmir/src/tests/integration/test_run.py:46
+    SKIPPED [1] src/tests/integration/test_prove.py:36: Skipped
+    ================= 159 passed, 26 skipped in 507.41s (0:08:27) ==================
+    make: Leaving directory '/home/user/kmir'
     ```