Symbol: gen_mcmp_nl