Symbol: add_hdm_decoder