Symbol: gen_cmp_gt