get(array, 1) <= i32
