all(list[i64:i32], !false)
