1Check that profile recording works even when JIT compilation is not enabled.
2