> My conclusion is that the old times system call is the thing to switch back > to. Can't we work around it from within rusage.c by having MLton_Rusage_self_stime_sec() and MLton_Rusage_self_stime_usec() store their previous call and an adjustment amount which is always added to to the seconds. If they notice when the time has decreased, then they inc the adjustment.