mercury
mercury copied to clipboard
Add stat collection API
There is currently no way to collect stats except from the routine that prints some basic stats at program exit. See attached doc for proposed solution.