Symbol: tavor_mwhdl_t