> 2. Insert limit checks (unimplemented). Why isn't the stack check for limit checks completely orthogonal to the array/heap distinction? An SSA function which begins with a variable array allocation should be able to get by with one limit check for both the array and the stack.