samer@2: % nows_hr - Current time using high resolution timer in JVM samer@0: % samer@0: % nows_hr :: unit -> real ~'time in seconds'. samer@0: samer@2: function t=nows_hr, t=saml.sched.HRTimer.now/1e9; end samer@0: