let freshs = gen_vars "?" max_proc