Symbol: auxiliary_dev_to_mei_aux_dev