BTW, the Step Functions product that interprets this uses the SWF bsck-end.
https://github.com/swift-nav/wolf
Excited about the potential of using lambda functions with SWF - we have workflows with predominantly idle workers that would greatly benefit from it!