int sizeMethod() {
   return 1 + FListInteger.size(f);
 }