first(array) <= i32
