c: WIP snapshot.
c: WIP snapshot.
c: WIP snapshot.
c: WIP snapshot.
c: WIP snapshot.
c: WIP snapshot.
c: WIP snapshot.
c: WIP snapshot.
c: WIP snapshot.
c: WIP snapshot(ok).
c: WIP snapshot(ok).
c: WIP snapshot(ok).
c: Sanity check final lx.{ds,scope}.
c: Sanity check final lx.{ds,scope} II.
c: WIP snapshot(ok).