Note: `write_exec_script` can take a list.