get(array, i64) <= -i32
