diff -Ncr FreeFem-sources.orig/src/fflib/ffstack.hpp FreeFem-sources/src/fflib/ffstack.hpp
*** FreeFem-sources.orig/src/fflib/ffstack.hpp	Sun Dec 25 15:25:35 2022
--- FreeFem-sources/src/fflib/ffstack.hpp	Wed Apr 19 16:02:08 2023
***************
*** 206,211 ****
--- 206,212 ----
  		topmemory4tmp(0),  // add FH oct 2008 of tmp allocation clean after each instruction 
                  memory4tmp(new char[sizeofmemory4tmp])  // add FH oct 2008 of tmp allocation  clean after each instruction
  	       { 
+ 		   if(verbosity<-1) cout << "StackOfPtr2Free() constructor" << endl;
  			stackptr.reserve(20); 	
  			if(prev) Add2StackOfPtr2Free(s,this);
  	       }