let cpu_relax () = ()
let n_domains () = 1