Summary
This annex defines the SDL‑2010 dynamic semantics.