+ Implement state and dbuf stacking, so that we can group stages with
  { and }.