--- 1655153.all-right.output	2016-05-25 09:43:11.769472512 +0200
+++ all-right.out	2016-05-09 18:20:09.709710553 +0200
@@ -1,4 +1,11 @@
-000000042
+0
+0
+0
+0
+0
+0
+0
+42
 43
 44
 45