--- DavideSericoli.02_negate.output	2015-05-07 23:08:25.708217520 +0200
+++ 02_negate.out	2015-04-30 14:35:59.137061874 +0200
@@ -1 +1,2 @@
+-333