Symbol: exec_mvme