let extra_procs args tr_args = append_extra_procs_to [] args tr_args