--- 1692591.short-array.output	2016-05-25 09:36:12.787176412 +0200
+++ short-array.out	2016-05-09 18:25:02.710717692 +0200
@@ -3,8 +3,8 @@
 0
 0
 0
-0
-0
+-1
+-1
 42
 43
 44