Code snapshots from codata