val t = Timer.startRealTimer();

     fun run(n) =
             let
                 val ct = Time.toReal(Timer.checkRealTimer t)
             in
                 if ct < 10.0 then run(n+1) else n
             end;

     run(0);