Re: [GHC] #7519: CLK_TCK is not always a constant