bnoordhuis: what's the hrtime module name?