A programming model for software-defined state — API Reference