dre: 0.8 has process.hrtimer()