Symbol: gen_mcmp