--- Ex.7.java	2007-05-29 20:14:00.000000000 +0100
+++ Ex.8.java	2007-05-29 20:14:04.000000000 +0100
@@ -29,6 +29,6 @@
     //@ assert (\forall int i; 0 <= i && i < pubs.length ==> r[i] >= 0);
     int s = 0;
     for (i = 0; i < r.length; ++i) s+=r[i];
-    return i + 1;
+    return i + 1 + s;
   }
 }