type(i64 in array)
