Symbol: df_rev_t