How does one go about debugging such a framework, state synchronization errors seem like they'd be a nightmare?