Symbol: DEF_F