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