type(i64 not in array)
