The runtime of the ppx_windtrap rewriter: the registry of inline tests, dune's inline-test-runner protocol, and the guard against registered tests that nothing runs.