--- 029971.4.output	2016-05-17 21:43:56.580625075 +0200
+++ 4.out	2016-03-06 13:18:32.000000000 +0100
@@ -1 +1 @@
-0
+4