use std use sys pkg thread = const ncpu : (-> int) ;; const ncpu = { -> 1 }