1Test a loop with invariants, which should be hoisted. 2In this case type casts are not sunk/hoisted. 3