def generate_symbol_definitions_direct(symbols, prefix):
  """Generate a listing of definitions to point to real symbols."""
  ret = []
  for ii in symbols:
    ret += [ii.generate_rename_direct(prefix)]
  return "\n".join(ret)