The profiling section states that the profiler has not been tested using threads (cml), or signals. Is there a way to quickly find out the time take for executiont/total allocation of an cml program compiled by MLton? Thank you, Luke