--- 1799313.test-k1-n1-v1000.output	2018-04-06 15:43:05.869476581 +0200
+++ test-k1-n1-v1000.out	2018-03-29 15:02:41.513559296 +0200
@@ -1,5 +1,5 @@
 42
-1073741824
 42
-0
+42
+42
 42