A new programming model for durable execution | Endigest