Make token the *last* parameter of new_modifiable_list.