--- 1655153.short-array.output	2016-05-25 09:43:11.915471632 +0200
+++ short-array.out	2016-05-09 18:25:02.710717692 +0200
@@ -1,4 +1,11 @@
-00000-1-142
+0
+0
+0
+0
+0
+-1
+-1
+42
 43
 44
 45