That would explode the state machine size and make its performance characterization very hard. And you would need to avoid having any kind of call to external

That would explode the state machine size and make its performance characterization very hard. And you would need to avoid having any kind of call to external code (or yield before and after every such call, and pray for the best).