--- 1806198.42-999.output	2018-05-12 13:50:26.582551977 +0200
+++ 42-999.out	2018-05-08 21:03:43.742527230 +0200
@@ -1,3 +1,2 @@
 (-42)
-(-42)