"write dataframe `df`, excluding index, to a csv file","df.to_csv(filename, index=False)"