--- DavideSericoli.10_pos_pos_quotient_noargs.output	2015-05-07 23:08:37.388418010 +0200
+++ 10_pos_pos_quotient_noargs.out	2015-05-04 16:55:27.107172573 +0200
@@ -1 +1,2 @@
-
+22
+22