At least one of the two, I expect. I have prototype implementations of both which I have been benchmarking (see higher up in this thread). I’m currently leaning towards SFL still, but the recent discovery that it can in theory run forever is unfortunate.