add dtop:set_max_procs/1