Symbol: fp_redcify