trace.util
Trace_util.Domain_util
trace
trace.core
trace.debug
trace.simple
val cpu_relax : unit -> unit
val n_domains : unit -> int