1Test loop formation heuristics and code generation. Basically the problem to
2catch here is to make sure that some never-exercised code blocks are included
3in the loop region, and the JIT compiler won't choke on unresolved fields.
4