--- DavideSericoli.08_pos_times_noargs.output	2015-05-07 23:08:32.191328802 +0200
+++ 08_pos_times_noargs.out	2015-05-04 16:55:07.548832740 +0200
@@ -1 +1,2 @@
-
+33
+33