Re: high-res-timer patch problem