val use_ex : string list list -> string -> string -> string list list