> Note, the current mlprof believes that if two pieces of C have the same > PROFILE label, then they are part of the same thing. Thus, for instance, all > the time charged to MLTON_chunkSWITCH will be merged together, regardless of > which chunk it is part of. I think that's a reasonable choice for now, since it is all basically overhead due to the compilation to C.