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.
