On Thursday, 1 May 2014 at 07:32:43 UTC, bearophile wrote: > This is just the basic idea, and perhaps people suggested > something better than this. > > Bye, > bearophile Yeah I sometimes have commented out main() for that purpose. Sounds like a useful generic addition.