Snapshot of Dot.dfy into Dot8.dfy