i32 <= last(array)
