Symbol: HD_FUNCSET