--- 1692591.doppio-create.output	2016-05-25 09:36:12.626177651 +0200
+++ doppio-create.out	2016-05-16 15:35:29.196320367 +0200
@@ -1,6 +1,3 @@
 0
 42
-0
 -1
-42
-