A new programming model for durable execution — Blankdot