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