not (i64 not in array)
