def make_unique_name(name, existing_names, name_format="<STR_LIT>", start=<NUM_LIT:2>):
index = start<EOL>new_name = name<EOL>while new_name in existing_names:<EOL><INDENT>new_name = name_format.format(name=name, index=index)<EOL>index += <NUM_LIT:1><EOL><DEDENT>return new_name<EOL>
Return a unique name based on `name_format` and `name`.