but you'd need a separate concurrency framework for analysis at that point.