Symbol: mdeg_fini