[Boost-users] Need good semi-high-res timer