def index_names_from_symbol(symbol):
    """Return the domain names of a GAMS symbol with '*' replaced by 'index_{i}'"""
    index_names = []
    for i, name in enumerate(symbol.domains_as_strings):
        if name != '*':
            index_names.append(name)
        else:
            index_names.append(f'index_{i}')
    return index_names
