Symbol: hfsc_free