requires="threads" directory="@HBUGS_COMMON_DIR@" archive(byte) = "threadSafe.cmo" archive(native) = "threadSafe.cmx"