Snapshot.promela 1.3 KB