Here's the latest mlprof which should be working correctly. http://www.cs.cornell.edu/People/fluet/MLton/mlprof.tgz without '-s', ticks are assigned to the enclosing non-static label; with '-s', ticks are assigned to the enclosing label. GC_foreach* appears with and without '-s' and give the same counts.