Everything immutable now. Checkpointing is asynchronous now. Waiting for queues
does not require synchronous messages either anymore.