Symbol: gen_cmp_nl