Hello! I just discovered a minor bug in the implementation of the module CPUTime in nhc 1.16. The function cpuTimePrecision returns the fixed constant 1000000, i.e., it assumes that the resolution of the (C) function clock(3) is always 1us. While this is true for systems that conform to the Single Unix Spec (including at least Linux, Solaris, and AIX according to my quick tests), it is wrong for BSD derived OS'es. At least for Mac OS X, FreeBSD, and NetBSD, the resolution of the clock function is only 10ms. In order to make this function portable, cpuTimePrecision should return the value 1000000000000{-this should be 10^12-} `div` CLOCKS_PER_SEC where the value of CLOCKS_PER_SEC is defined in <time.h> (or some file included from there). Regards Wolfgang